Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering

AuthID: I-000-0K9


Publications Count: 4655

62 Team Members
Filters -> Year: 2026
3301
TÍTULO: Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK
AUTORES: João F Ferreira ; Guanhua He; Shengchao Qin;
PUBLICAÇÃO: 2012, FONTE: IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012 in Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China, PÁGINAS: 51-58
3302
TÍTULO: AUTOMATIC DESCRIPTION OF OBJECT APPEARANCES IN A WIDE-AREA SURVEILLANCE SCENARIO
AUTORES: Teixeira, LF ; Carvalho, P ; Cardoso, JS ; Corte Real, L ;
PUBLICAÇÃO: 2012, FONTE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PÁGINAS: 1609-1612
3303
TÍTULO: Automatic Extraction of Goal-Scoring Behaviors from Soccer Matches
AUTORES: Almeida, F; Abreu, PH ; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2012, FONTE: 25th IEEE\RSJ International Conference on Intelligent Robots and Systems (IROS) in 2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PÁGINAS: 849-856
3304
TÍTULO: Automatic Unbounded Verification of Alloy Specifications with Prover9
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1209.5773
3305
TÍTULO: Beat Tracking for Multiple Applications: A Multi-Agent System Architecture With State Recovery
AUTORES: Oliveira, JL ; Davies, MEP ; Gouyon, F ; Reis, LP ;
PUBLICAÇÃO: 2012, FONTE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, NÚMERO: 10, PÁGINAS: 2696-2706
3306
TÍTULO: Bidirectional Transformation of Model-Driven Spreadsheets
AUTORES: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: ICMT@TOOLS, VOLUME: 7307 LNCS, PÁGINAS: 105-120
3307
TÍTULO: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTORES: Joao Pedro Reis; Antonio Pereira ; Luis Paulo Reis ;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
3308
TÍTULO: Bivalve's Growth Conditions in Coastal Ecosystems: A Decision Tree based Analysis
AUTORES: Joao Pedro Reis; Antonio Pereira; Luis Paulo Reis ;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PÁGINAS: 162-+
3309
3310
TÍTULO: Brief Announcement: Semantics of Eventually Consistent Replicated Sets
AUTORES: Bieniusa, A; Zawirski, M; Preguiça, N ; Shapiro, M; Baquero, C ; Balegas, V; Duarte, S ;
PUBLICAÇÃO: 2012, FONTE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PÁGINAS: 441-+
3311
3312
TÍTULO: Bus Bunching detection: A sequence mining approach
AUTORES: Moreira Matias, L; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLICAÇÃO: 2012, FONTE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PÁGINAS: 13-17
3313
TÍTULO: Cerebral Palsy EEG signals Classification: Facial Expressions and Thoughts for Driving an Intelligent Wheelchair
AUTORES: Faria, BM ; Reis, LP ; Lau, N ;
PUBLICAÇÃO: 2012, FONTE: 12th IEEE International Conference on Data Mining (ICDM) in 12TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW 2012), PÁGINAS: 33-40
3314
TÍTULO: Coastal Ecosystems Simulation: A Decision Tree Analysis for Bivalve's Growth Conditions
AUTORES: Reis, JP; Pereira, A ; Reis, LP ;
PUBLICAÇÃO: 2012, FONTE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PÁGINAS: 392-+
3315
TÍTULO: Collaborative Spaces as Mediators for Information Sharing in Collaborative Networks
AUTORES: Antonio Lucas Soares ; Fabio Alves ;
PUBLICAÇÃO: 2012, FONTE: 13th IFIP WG 5.5 Working Conference on Virtual Enterprises (PROVE-VE 2012) in COLLABORATIVE NETWORKS IN THE INTERNET OF SERVICES, VOLUME: 380, PÁGINAS: 459-466
3316
TÍTULO: Combining a Multi-Objective Optimization Approach with Meta-Learning for SVM Parameter Selection
AUTORES: de Miranda, PBC; Prudêncio, RBC; de Carvalho, ACPLF; Soares, C ;
PUBLICAÇÃO: 2012, FONTE: IEEE International Conference on Systems, Man, and Cybernetics (SMC) in PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), PÁGINAS: 2909-2914
3317
TÍTULO: Combining meta-learning and optimization algorithms for parameter selection
AUTORES: Gomes, T; Miranda, P; Prudencio, R; Soares, C ; Carvalho, A;
PUBLICAÇÃO: 2012, FONTE: 5th Planning to Learn Workshop, PlanLearn 2012 at 2012 European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 950, PÁGINAS: 6-7
3318
TÍTULO: Combining meta-learning and search techniques to select parameters for support vector machines
AUTORES: Gomes, TAF; Prudêncio, RBC; Soares, C ; Rossi, ALD; Carvalho, A;
PUBLICAÇÃO: 2012, FONTE: NEUROCOMPUTING, VOLUME: 75, NÚMERO: 1, PÁGINAS: 3-13
3319
TÍTULO: Combining Meta-Learning with Multi-objective Particle Swarm Algorithms for SVM Parameter Selection: An Experimental Analysis
AUTORES: Péricles B C Miranda; Ricardo B C Prudêncio; André C P L F de Carvalho; Carlos Soares ;
PUBLICAÇÃO: 2012, FONTE: SBRN, PÁGINAS: 1-6
3320
TÍTULO: Comparing state-of-the-art regression methods for long term travel time prediction
AUTORES: Mendes Moreira, J ; Jorge, AM ; de Sousa, JF ; Soares, C ;
PUBLICAÇÃO: 2012, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 16, NÚMERO: 3, PÁGINAS: 427-449

Results per Page: 20.
Página 166 de 233. Total de resultados: 4655.