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

AuthID: I-000-0K9


Publications Count: 4456

56 Team Members
Filters -> Year: 2025
3101
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
3102
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
3103
TITLE: An Experimental Study of the Combination of Meta-Learning with Particle Swarm Algorithms for SVM Parameter Selection
AUTHORS: Pericles B C de Miranda; Ricardo B C Prudencio; Andre Carlos P L F de Carvalho; Carlos Soares ;
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
3104
TITLE: An integrated architecture for autonomous vehicles simulation
AUTHORS: José L F Pereira; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, PAGES: 286-292
3105
TITLE: An Online Recommendation System for the Taxi Stand choice Problem
AUTHORS: Luis Moreira Matias ; Ricardo Fernandes; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas ;
PUBLISHED: 2012, SOURCE: IEEE Vehicular Networking Conference (VNC) in 2012 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), PAGES: 173-180
3106
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
3107
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: International Conference on Computer Graphics Theory and Applications, GRAPP 2012 and International Conference on Information Visualization Theory and Applications, IVAPP 2012 in GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, Rome, Italy, 24-26 February, 2012, PAGES: 507-510
3108
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
3109
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: 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012 in 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012, Erlangen, Germany, June 25-28, 2012, PAGES: 62-69
3110
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
3111
TITLE: Assessment of the interference caused by uncontrolled traffic sources upon real-time communication in IEEE 802.11-based mesh networks
AUTHORS: Viegas, CMD; Sampaio, S; Vasques, F ; Portugal, P ; Souto, P ;
PUBLISHED: 2012, SOURCE: 2012 9th IEEE International Workshop on Factory Communication Systems, WFCS 2012 in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS, PAGES: 59-62
3112
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
3113
TITLE: AUTOMATIC DESCRIPTION OF OBJECT APPEARANCES IN A WIDE-AREA SURVEILLANCE SCENARIO
AUTHORS: Luis F Teixeira ; Pedro Carvalho ; Jaime S Cardoso ; Luis Corte Real ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 1609-1612
3114
TITLE: Automatic Extraction of Goal-Scoring Behaviors from Soccer Matches
AUTHORS: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
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
3115
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
3116
TITLE: Beat Tracking for Multiple Applications: A Multi-Agent System Architecture With State Recovery
AUTHORS: Joao Lobato Oliveira ; Matthew E P Davies ; Fabien Gouyon ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, VOLUME: 20, ISSUE: 10, PAGES: 2696-2706
3117
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: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PAGES: 105-120
3118
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)
3119
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-+
3120
TITLE: Brief announcement: efficient causality tracking in distributed storage systems with dotted version vectors. efficient causality tracking in distributed storage systems with dotted version vectors
AUTHORS: Nuno M Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2012, SOURCE: 2012 ACM Symposium on Principles of Distributed Computing, PODC'12 in ACM Symposium on Principles of Distributed Computing, PODC '12, Funchal, Madeira, Portugal, July 16-18, 2012, PAGES: 335-336

Results per Page: 20.
Page 156 of 223. Total results: 4456.