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

AuthID: I-000-0K9


Publications Count: 4655

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

Results per Page: 20.
Page 166 of 233. Total results: 4655.