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

AuthID: I-000-0K9


Publications Count: 4668

62 Team Members
Filters -> Year: 2026
3301
TITLE: An active audition framework for auditory-driven HRI: Application to interactive robot dancing
AUTHORS: João Lobato Oliveira ; Gökhan Ince; Keisuke Nakamura; Kazuhiro Nakadai; Hiroshi G Okuno; Luís Paulo Reis ; Fabien Gouyon ;
PUBLISHED: 2012, SOURCE: RO-MAN, PAGES: 1078-1085
3302
TITLE: An Approach to Advisory-Based Traffic Control
AUTHORS: Macedo, J; Soares, M; Timoteo, I; Rossetti, RJF ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
3303
TITLE: An Elitist Evolutionary Algorithm for Automatically Generating Test Data
AUTHORS: Louzada, J; Camilo, CG; VINCENZI, AURI M. R. ; Rodrigues, C;
PUBLISHED: 2012, SOURCE: 2012 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 1-8
3304
TITLE: An Empiric Evaluation of a Real-Time Robot Dancing Framework based on Multi-Modal Events
AUTHORS: João Lobato Oliveira; Luis Paulo Reis ; Brigida Monica Faria ; Fabien Gouyon;
PUBLISHED: 2012, SOURCE: TELKOMNIKA Indonesian Journal of Electrical Engineering, VOLUME: 10, ISSUE: 8
3305
TITLE: An Experimental Study of the Combination of Meta-Learning with Particle Swarm Algorithms for SVM Parameter Selection
AUTHORS: de Miranda, PBC; Prudêncio, RBC; de Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT III, VOLUME: 7335, ISSUE: PART 3, PAGES: 562-575
3306
TITLE: An integrated architecture for autonomous vehicles simulation
AUTHORS: José L F Pereira; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 286-292
3307
TITLE: An Online Recommendation System for the Taxi Stand choice Problem
AUTHORS: Moreira Matias, L ; Fernandes, R; Gama, J ; Ferreira, M ; Mendes Moreira, J ; Damas, L ;
PUBLISHED: 2012, SOURCE: IEEE Vehicular Networking Conference (VNC) in 2012 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), PAGES: 173-180
3308
TITLE: An optimized conflict-free replicated set
AUTHORS: Annette Bieniusa; Marek Zawirski; Nuno M Preguiça ; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sérgio Duarte;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1210.3368
3309
TITLE: An Urban Ontology to Generate Collaborative Virtual Environments for Municipal Planning and Management
AUTHORS: Tiago Martins; Pedro Brandão Silva; António Coelho ; Augusto A de Sousa ;
PUBLISHED: 2012, SOURCE: GRAPP/IVAPP, PAGES: 507-510
3310
TITLE: Analysing Tactics in Architectural Patterns
AUTHORS: Sanchez, A ; Aguiar, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), PAGES: 32-41
3311
TITLE: Analysis of error detection schemes: Toolchain support and hardware/software implications
AUTHORS: Ali Azarian ; João Canas Ferreira ; Stephan Werner; Zlatko Petrov; João M P Cardoso ; Michael Hübner;
PUBLISHED: 2012, SOURCE: AHS, PAGES: 62-69
3312
TITLE: ANTE: Agreement Negotiation in Normative and Trust-Enabled Environments
AUTHORS: Henrique Lopes Cardoso ; Joana Urbano ; Pedro Brandao; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2012, SOURCE: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems in ADVANCES ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 155, PAGES: 261-264
3313
3314
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
3315
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
3316
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
3317
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
3318
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
3319
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
3320
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)

Results per Page: 20.
Page 166 of 234. Total results: 4668.