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

AuthID: I-000-0K9


Publications Count: 4649

62 Team Members
Filters -> Year: 2026
3281
TÍTULO: AI for the win: improving spectrum-based fault localization
AUTORES: Birgit Hofer; Franz Wotawa; Rui Abreu ;
PUBLICAÇÃO: 2012, FONTE: ACM SIGSOFT Software Engineering Notes, VOLUME: 37, NÚMERO: 6, PÁGINAS: 1-8
3282
TÍTULO: An active audition framework for auditory-driven HRI: Application to interactive robot dancing
AUTORES: João Lobato Oliveira ; Gökhan Ince; Keisuke Nakamura; Kazuhiro Nakadai; Hiroshi G Okuno; Luís Paulo Reis ; Fabien Gouyon ;
PUBLICAÇÃO: 2012, FONTE: RO-MAN, PÁGINAS: 1078-1085
3283
TÍTULO: An Approach to Advisory-Based Traffic Control
AUTORES: Macedo, J; Soares, M; Timoteo, I; Rossetti, RJF ;
PUBLICAÇÃO: 2012, FONTE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
3284
TÍTULO: An Elitist Evolutionary Algorithm for Automatically Generating Test Data
AUTORES: Louzada, J; Camilo, CG; VINCENZI, AURI M. R. ; Rodrigues, C;
PUBLICAÇÃO: 2012, FONTE: 2012 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PÁGINAS: 1-8
3285
TÍTULO: An Empiric Evaluation of a Real-Time Robot Dancing Framework based on Multi-Modal Events
AUTORES: João Lobato Oliveira; Luis Paulo Reis ; Brigida Monica Faria ; Fabien Gouyon;
PUBLICAÇÃO: 2012, FONTE: TELKOMNIKA Indonesian Journal of Electrical Engineering, VOLUME: 10, NÚMERO: 8
3286
TÍTULO: An Experimental Study of the Combination of Meta-Learning with Particle Swarm Algorithms for SVM Parameter Selection
AUTORES: de Miranda, PBC; Prudêncio, RBC; de Carvalho, ACPLF; Soares, C ;
PUBLICAÇÃO: 2012, FONTE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT III, VOLUME: 7335, NÚMERO: PART 3, PÁGINAS: 562-575
3287
TÍTULO: An integrated architecture for autonomous vehicles simulation
AUTORES: José L F Pereira; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2012, FONTE: SAC, PÁGINAS: 286-292
3288
TÍTULO: An Online Recommendation System for the Taxi Stand choice Problem
AUTORES: Moreira Matias, L ; Fernandes, R; Gama, J ; Ferreira, M ; Mendes Moreira, J ; Damas, L ;
PUBLICAÇÃO: 2012, FONTE: IEEE Vehicular Networking Conference (VNC) in 2012 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), PÁGINAS: 173-180
3289
TÍTULO: An optimized conflict-free replicated set
AUTORES: Annette Bieniusa; Marek Zawirski; Nuno M Preguiça ; Marc Shapiro; Carlos Baquero ; Valter Balegas; Sérgio Duarte;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1210.3368
3290
TÍTULO: An Urban Ontology to Generate Collaborative Virtual Environments for Municipal Planning and Management
AUTORES: Tiago Martins; Pedro Brandão Silva; António Coelho ; Augusto A de Sousa ;
PUBLICAÇÃO: 2012, FONTE: GRAPP/IVAPP, PÁGINAS: 507-510
3291
TÍTULO: Analysing Tactics in Architectural Patterns
AUTORES: Sanchez, A ; Aguiar, A ; Barbosa, LS ; Riesco, D;
PUBLICAÇÃO: 2012, FONTE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), PÁGINAS: 32-41
3292
TÍTULO: Analysis of error detection schemes: Toolchain support and hardware/software implications
AUTORES: Ali Azarian ; João Canas Ferreira ; Stephan Werner; Zlatko Petrov; João M P Cardoso ; Michael Hübner;
PUBLICAÇÃO: 2012, FONTE: AHS, PÁGINAS: 62-69
3293
TÍTULO: ANTE: Agreement Negotiation in Normative and Trust-Enabled Environments
AUTORES: Henrique Lopes Cardoso ; Joana Urbano ; Pedro Brandao; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLICAÇÃO: 2012, FONTE: 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, PÁGINAS: 261-264
3294
3295
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
3296
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
3297
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
3298
TÍTULO: Automatic Unbounded Verification of Alloy Specifications with Prover9
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1209.5773
3299
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
3300
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

Results per Page: 20.
Página 165 de 233. Total de resultados: 4649.