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

AuthID: I-000-0K9


Publications Count: 4709

62 Team Members
Filters -> Year: 2026
3341
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
3342
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
3343
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
3344
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
3345
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
3346
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
3347
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
3348
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
3349
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
3350
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
3351
3352
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
3353
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
3354
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
3355
TÍTULO: Automatic Unbounded Verification of Alloy Specifications with Prover9
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1209.5773
3356
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
3357
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
3358
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-+
3359
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)
3360

Results per Page: 20.
Página 168 de 236. Total de resultados: 4709.