Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 3962
49 Team MembersFilters -> Year: 2025
3281
TITLE: Automated fault diagnosis in embedded systems
AUTHORS: Zoeteweij, P; Pietersma, J; Abreu, R ; Feldman, A; Van Gemund, AJC;
PUBLISHED: 2008, SOURCE: 2nd IEEE International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008 in Proceedings - The 2nd IEEE International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, PAGES: 103-110
AUTHORS: Zoeteweij, P; Pietersma, J; Abreu, R ; Feldman, A; Van Gemund, AJC;
PUBLISHED: 2008, SOURCE: 2nd IEEE International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008 in Proceedings - The 2nd IEEE International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, PAGES: 103-110
3282
TITLE: Automatic Extraction of Process Control Flow from I/O Operations
AUTHORS: Pedro C Diniz ; Diogo R Ferreira;
PUBLISHED: 2008, SOURCE: 6th International Conference on Business Process Management in BUSINESS PROCESS MANAGEMENT, VOLUME: 5240, PAGES: 342-357
AUTHORS: Pedro C Diniz ; Diogo R Ferreira;
PUBLISHED: 2008, SOURCE: 6th International Conference on Business Process Management in BUSINESS PROCESS MANAGEMENT, VOLUME: 5240, PAGES: 342-357
3283
TITLE: Automatic generation of interactive prototypes for domain model validation
AUTHORS: Antonio Miguel Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2008, SOURCE: 3rd International Conference on Software and Data Technologies in ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE/GSDCA/MUSE, VOLUME: SE, ISSUE: GSDCA/M/-, PAGES: 206-213
AUTHORS: Antonio Miguel Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2008, SOURCE: 3rd International Conference on Software and Data Technologies in ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE/GSDCA/MUSE, VOLUME: SE, ISSUE: GSDCA/M/-, PAGES: 206-213
3284
TITLE: Automatic parameterization for expeditious modelling of virtual urban environments - A new hybrid metaheuristic
AUTHORS: Cruz, F; Coelho, A ; Reis, LP ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2008: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL ICSO: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION, VOLUME: ICSO, PAGES: 334-337
AUTHORS: Cruz, F; Coelho, A ; Reis, LP ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Informatics in Control, Automation and Robotics in ICINCO 2008: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL ICSO: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION, VOLUME: ICSO, PAGES: 334-337
3285
TITLE: Automatic software fault localization using generic program invariants
AUTHORS: Abreu, R ; Gonzalez, A; Zoeteweij, P; Van Gemund, AJC;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 712-717
AUTHORS: Abreu, R ; Gonzalez, A; Zoeteweij, P; Van Gemund, AJC;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 712-717
3286
TITLE: Automatic system for the recognition of amounts in handwritten cheques
AUTHORS: Filipe Coelho; Luis Batista; Luis F. Teixeira ; Jaime S Cardoso ;
PUBLISHED: 2008, SOURCE: International Conference on Signal Processing and Multimedia Applications in SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS, PAGES: 320-324
AUTHORS: Filipe Coelho; Luis Batista; Luis F. Teixeira ; Jaime S Cardoso ;
PUBLISHED: 2008, SOURCE: International Conference on Signal Processing and Multimedia Applications in SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS, PAGES: 320-324
3287
TITLE: Bio-inspired parameter tunning of MLP networks for gene expression analysis
AUTHORS: Rossi, ALD; Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2008, SOURCE: 8th International Conference on Hybrid Intelligent Systems, HIS 2008 in Proceedings - 8th International Conference on Hybrid Intelligent Systems, HIS 2008, PAGES: 435-440
AUTHORS: Rossi, ALD; Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2008, SOURCE: 8th International Conference on Hybrid Intelligent Systems, HIS 2008 in Proceedings - 8th International Conference on Hybrid Intelligent Systems, HIS 2008, PAGES: 435-440
3288
TITLE: Breast Contour Detection with Stable Paths
AUTHORS: Jaime S Cardoso ; Ricardo Sousa ; Luis F. Teixeira ; Cardoso, MJ ;
PUBLISHED: 2008, SOURCE: International Joint Conference on Biomedical Engineering Systems and Technologies in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOLUME: 25, PAGES: 439-452
AUTHORS: Jaime S Cardoso ; Ricardo Sousa ; Luis F. Teixeira ; Cardoso, MJ ;
PUBLISHED: 2008, SOURCE: International Joint Conference on Biomedical Engineering Systems and Technologies in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOLUME: 25, PAGES: 439-452
3289
TITLE: Building modular surveillance systems based on multiple sources of information - Architecture and requirements
AUTHORS: Daniel Duraes; Luis F. Teixeira ; Luis Corte Real ;
PUBLISHED: 2008, SOURCE: International Conference on Signal Processing and Multimedia Applications in SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS, PAGES: 314-319
AUTHORS: Daniel Duraes; Luis F. Teixeira ; Luis Corte Real ;
PUBLISHED: 2008, SOURCE: International Conference on Signal Processing and Multimedia Applications in SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS, PAGES: 314-319
3290
TITLE: Calibration Agent for Ecological Simulations: A Metaheuristic Approach
AUTHORS: Pedro Valente; António Pereira; Luis P Reis ;
PUBLISHED: 2008
AUTHORS: Pedro Valente; António Pereira; Luis P Reis ;
PUBLISHED: 2008
3291
TITLE: Calibration of Bi-planar Radiography with a Rangefinder and a Small Calibration Object
AUTHORS: Daniel C Moura; Jorge G Barbosa ; João Manuel R. S. Tavares ; Ana M Reis;
PUBLISHED: 2008, SOURCE: 4th International Symposium on Visual Computing in ADVANCES IN VISUAL COMPUTING, PT I, PROCEEDINGS, VOLUME: 5358, ISSUE: PART 1, PAGES: 572-581
AUTHORS: Daniel C Moura; Jorge G Barbosa ; João Manuel R. S. Tavares ; Ana M Reis;
PUBLISHED: 2008, SOURCE: 4th International Symposium on Visual Computing in ADVANCES IN VISUAL COMPUTING, PT I, PROCEEDINGS, VOLUME: 5358, ISSUE: PART 1, PAGES: 572-581
3292
TITLE: Code Transformations
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 67-107
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 67-107
3293
TITLE: Combining Rewriting-Logic, Architecture Generation, and Simulation to Exploit Coarse-Grained Reconfigurable Architectures
AUTHORS: Morra, C; Bispo, J ; Cardoso, JMP ; Becker, J;
PUBLISHED: 2008, SOURCE: 16th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in PROCEEDINGS OF THE SIXTEENTH IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PAGES: 320-321
AUTHORS: Morra, C; Bispo, J ; Cardoso, JMP ; Becker, J;
PUBLISHED: 2008, SOURCE: 16th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in PROCEEDINGS OF THE SIXTEENTH IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PAGES: 320-321
3294
TITLE: Communication during learning in heterogeneous teams of learning agents
AUTHORS: Luís Nunes; Eugénio C Oliveira ;
PUBLISHED: 2008, SOURCE: Intelligent Decision Technologies, VOLUME: 2, ISSUE: 3, PAGES: 153-166
AUTHORS: Luís Nunes; Eugénio C Oliveira ;
PUBLISHED: 2008, SOURCE: Intelligent Decision Technologies, VOLUME: 2, ISSUE: 3, PAGES: 153-166
3295
TITLE: Compilation and Synthesis Flows
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 33-65
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 33-65
3296
TITLE: Compile the Hypothesis Space: Do it Once, Use it Often
AUTHORS: Nuno A Fonseca ; Rui Camacho ; Ricardo Rocha ; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 18th European Conference on Machine Learning (ECML 2007)/11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007) in FUNDAMENTA INFORMATICAE, VOLUME: 89, ISSUE: 1, PAGES: 45-67
AUTHORS: Nuno A Fonseca ; Rui Camacho ; Ricardo Rocha ; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 18th European Conference on Machine Learning (ECML 2007)/11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007) in FUNDAMENTA INFORMATICAE, VOLUME: 89, ISSUE: 1, PAGES: 45-67
3297
TITLE: Compilers for Reconfigurable Architectures
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 155-176
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 155-176
3298
TITLE: Cooperative control of unmanned aerial systems
AUTHORS: Gil Gonçalves ; Sousa, JB; Pereira, FL ;
PUBLISHED: 2008, SOURCE: 48th Israel Annual Conference on Aerospace Sciences 2008 in Technion Israel Institute of Technology - 48th Israel Annual Conference on Aerospace Sciences 2008, VOLUME: 1, PAGES: 341-357
AUTHORS: Gil Gonçalves ; Sousa, JB; Pereira, FL ;
PUBLISHED: 2008, SOURCE: 48th Israel Annual Conference on Aerospace Sciences 2008 in Technion Israel Institute of Technology - 48th Israel Annual Conference on Aerospace Sciences 2008, VOLUME: 1, PAGES: 341-357
3299
TITLE: Disciplined composition of aspects using tests
AUTHORS: André Restivo ; Ademar Aguiar ;
PUBLISHED: 2008, SOURCE: 4th Linking Aspect Technology and Evolution Workshop, LATE'08 - Held at the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008 in Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution, LATE@AOSD 2008, Brussels, Belgium, April 1, 2008, PAGES: 8
AUTHORS: André Restivo ; Ademar Aguiar ;
PUBLISHED: 2008, SOURCE: 4th Linking Aspect Technology and Evolution Workshop, LATE'08 - Held at the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008 in Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution, LATE@AOSD 2008, Brussels, Belgium, April 1, 2008, PAGES: 8
3300
TITLE: Electronic institutions for B2B: Dynamic normative environments
AUTHORS: Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: Artificial Intelligence and Law, VOLUME: 16, ISSUE: 1, PAGES: 107-128
AUTHORS: Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: Artificial Intelligence and Law, VOLUME: 16, ISSUE: 1, PAGES: 107-128