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

AuthID: I-000-0K9


Publications Count: 4144

50 Team Members
Filters -> Year: 2025
3121
TITLE: Simultaneous debugging of software faults
AUTHORS: Rui Abreu ; Peter Zoeteweij; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 84, ISSUE: 4, PAGES: 573-586
3122
TITLE: Sketch Express: Facial Expressions Made Easy. facial expressions made easy
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; João Orvalho; Diego Gutierrez; Augusto A de Sousa ; Verónica Orvalho ;
PUBLISHED: 2011, SOURCE: ACM SIGGRAPH / Eurographics Symposium on Sketch-Based Interfaces and Modeling, SBIM 2011 in Sketch Based Interfaces and Modeling, Vancouver, BC, Canada, 5-7 August 2011. Proceedings, PAGES: 87-94
3123
TITLE: Social control in a normative framework: An adaptive deterrence approach
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2011, SOURCE: Web Intelligence and Agent Systems, VOLUME: 9, ISSUE: 4, PAGES: 363-375
3124
TITLE: Solving Heterogeneous Fleet Multiple Depot Vehicle Scheduling Problem as an Asymmetric Traveling Salesman Problem
AUTHORS: Jorge Alpedrinha Ramos; Luis Paulo Reis ; Dulce Pedrosa;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 98-109
3125
TITLE: Special Issue on Artificial Transportation Systems and Simulation
AUTHORS: Rossetti, RJF ; Liu, RH; Tang, SM;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 12, ISSUE: 2, PAGES: 309-312
3126
TITLE: Spectrum-based sequential diagnosis
AUTHORS: Gonzalez Sanchez, A; Abreu, R ; Gross, HG; Van Gemund, AJC;
PUBLISHED: 2011, SOURCE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 1, PAGES: 189-196
3127
TITLE: Spectrum-Based Sequential Diagnosis
AUTHORS: Alberto Gonzalez Sanchez; Rui Abreu ; Hans Gerhard Gross; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, PAGES: 189-196
3128
TITLE: Tangible Interaction on Tabletops for Elderly People
AUTHORS: Marques, T; Nunes, F; Silva, P; Rodrigues, R ;
PUBLISHED: 2011, SOURCE: 10th International Conference on Entertainment Computing10th Biennial Pan Ocean Remote Sensing Conference (PORSEC) in ENTERTAINMENT COMPUTING - ICEC 2011, VOLUME: 6972, PAGES: 440-443
3129
TITLE: Technical analysis and approaches for game development in second life
AUTHORS: Cruz, A; Coelho, A ; Sousa, A ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
3130
TITLE: Techniques for Dynamically Mapping Computations to Coprocessors
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2011, SOURCE: 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011 in 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011, Cancun, Mexico, November 30 - December 2, 2011, PAGES: 505-508
3131
TITLE: Term Weighting Based on Document Revision History
AUTHORS: Nunes, S ; Ribeiro, C ; David, G ;
PUBLISHED: 2011, SOURCE: JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY, VOLUME: 62, ISSUE: 12, PAGES: 2471-2478
3132
TITLE: Test case generation from mutated task models
AUTHORS: Barbosa, A; Paiva, ACR ; Campos, JC ;
PUBLISHED: 2011, SOURCE: 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'11 in Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011, PAGES: 175-184
3133
TITLE: TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
AUTHORS: Francisco Rebello de Andrade; Joao Pascoal Faria ; Ana C R Paiva ;
PUBLISHED: 2011, SOURCE: 6th International Conference on Software and Database Technologies (ICSOFT 2011) in ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, VOLUME: 2, PAGES: 192-200
3134
TITLE: Towards automatic quantification of the epicardial fat in non-contrasted CT images
AUTHORS: Jorge G Barbosa ; Bruno Figueiredo; Nuno Bettencourt ; João Manuel R. S. Tavares ;
PUBLISHED: 2011, SOURCE: COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING, VOLUME: 14, ISSUE: 10, PAGES: 905-914
3135
TITLE: Towards Emotional Interaction: Using Movies to Automatically Learn Users' Emotional States
AUTHORS: Eva Oliveira ; Mitchel Benovoy; Nuno Ribeiro ; Teresa Chambe ;
PUBLISHED: 2011, SOURCE: 13th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2011, PT I, VOLUME: 6946, ISSUE: PART 1, PAGES: 152-161
3136
TITLE: Towards the next-generation traffic simulation tools: A first appraisal
AUTHORS: Passos, LS; Rossetti, RJF ; Kokkinogenis, Z ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
3137
TITLE: Transformation Rules for Model Migration in Relational Database Preservation
AUTHORS: Arif Ur Rahman; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2011, SOURCE: Proceedings of the 8th International Conference on Digital Preservation, iPRES 2011, Singapore, November 1-4, 2011
3138
TITLE: Trust-Based Selection of Partners
AUTHORS: Maria Joana Urbano ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2011, SOURCE: 12th International Conference on Electronic Commerce and Web Technologies (EC Web 2011) in E-COMMERCE AND WEB TECHNOLOGIES, VOLUME: 85, PAGES: 221-232
3139
TITLE: Two Humanoid Simulators: Comparison and Synthesis
AUTHORS: Nima Shafii; Luis Paulo Reis ; Rosaldo J F Rossetti ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 773-778
3140
TITLE: Type-Safe Evolution of Spreadsheets
AUTHORS: Cunha, J ; Visser, J; Alves, T; Saraiva, J ;
PUBLISHED: 2011, SOURCE: 14th European Joint Conferences on Theory and Practice of Software in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 6603, PAGES: 186-201

Results per Page: 20.
Page 157 of 208. Total results: 4144.