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

AuthID: I-000-0K9


Publications Count: 3894

49 Team Members
Filters -> Year: 2024
2861
TITLE: Serious Game for Introductory Programming
AUTHORS: Coelho, A ; Kato, E; Xavier, J; Goncalves, R;
PUBLISHED: 2011, SOURCE: 2nd International Conference on Serious Games Development and Applications in SERIOUS GAMES DEVELOPMENT AND APPLICATIONS, VOLUME: 6944, PAGES: 61-71
2862
TITLE: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
2863
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
2864
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
2865
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
2866
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
2867
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
2868
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
2869
TITLE: Strictification of circular programs
AUTHORS: Fernandes, JP ; Saraiva, J ; Seidel, D; Voigtlander, J;
PUBLISHED: 2011, SOURCE: 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'11 in PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PAGES: 131-140
2870
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
2871
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
2872
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
2873
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
2874
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
2875
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
2876
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
2877
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
2878
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
2879
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
2880
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

Results per Page: 20.
Page 144 of 195. Total results: 3894.