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

AuthID: I-000-0K9


Publications Count: 4713

62 Team Members
Filters -> Year: 2026
3661
TITLE: TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
AUTHORS: de Andrade, FR; Faria, JP ; Paiva, ACR ;
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
3662
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
3663
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
3664
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
3665
3666
TITLE: Trust-Based Selection of Partners
AUTHORS: Urbano, MJ ; Rocha, AP ; Oliveira, E ;
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
3667
TITLE: Twenty-Five Years of Research in Structural and Mutation Testing
AUTHORS: Márcio Eduardo Delamaro; Marcos Lordello Chaim; VINCENZI, AURI M. R. ; Mário Jino; José Carlos Maldonado;
PUBLISHED: 2011, SOURCE: SBES, PAGES: 40-49
3668
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
3669
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-+
3670
TITLE: Uncertainty Sampling Methods for Selecting Datasets in Active Meta-Learning
AUTHORS: Prudêncio, RBC; Soares, C ; Ludermir, TB;
PUBLISHED: 2011, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2011 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PAGES: 1082-1089
3671
TITLE: Uncertainty Sampling-Based Active Selection of Datasetoids for Meta-learning
AUTHORS: Prudêncio, RBC; Soares, C ; Ludermir, TB;
PUBLISHED: 2011, SOURCE: 21st International Conference on Artificial Neural Networks, ICANN 2011 in ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2011, PT II, VOLUME: 6792, ISSUE: PART 2, PAGES: 454-+
3672
TITLE: Unmanned vehicles for environmental data collection
AUTHORS: Borges B de Sousa ; Gil Gonçalves ;
PUBLISHED: 2011, SOURCE: CLEAN TECHNOLOGIES AND ENVIRONMENTAL POLICY, VOLUME: 13, ISSUE: 2, PAGES: 369-380
3673
3674
TITLE: Using Meta-learning to Recommend Meta-heuristics for the Traveling Salesman Problem
AUTHORS: Jorge Y Kanda; André Carlos Ponce de Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2011, SOURCE: ICMLA (1), VOLUME: 1, PAGES: 346-351
3675
TITLE: Using the H-Index to Estimate Blog Authority
AUTHORS: José Luís Devezas ; Sérgio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2011, SOURCE: ICWSM, VOLUME: 5, ISSUE: 1, PAGES: 470-473
3676
TITLE: Using TraSMAPI for Developing Multi-Agent Intelligent Traffic Management Solutions
AUTHORS: Timóteo, IJPM; Araújo, MR ; Rossetti, RJF ; Oliveira, EC ;
PUBLISHED: 2011, SOURCE: 9th International Conference on Practical Applications of Agents and Multi-Agent Systems in ADVANCES ON PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 88, PAGES: 119-128
3677
TITLE: Virtual LEGO Modelling on Multi-Touch Surfaces
AUTHORS: Daniel Mendes ; Alfredo Ferreira ;
PUBLISHED: 2011, SOURCE: 19th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2011: FULL PAPERS PROCEEDINGS, PAGES: 73-80
3678
TITLE: Visible and Infrared Optical Probes for Hemodynamic Parameters Assessment
AUTHORS: Pereira, T ; Oliveira, T; Cabeleira, M; Almeida, V ; Borges, E; Cardoso, J ; Correia, C ; Pereira, HC;
PUBLISHED: 2011, SOURCE: 10th IEEE Conference on Sensors in 2011 IEEE SENSORS, PAGES: 1796-1799
3679
TITLE: Worldwide Consensus
AUTHORS: Maia, F ; Matos, M ; Pereira, J ; Oliveira, R ;
PUBLISHED: 2011, SOURCE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PAGES: 257-269
3680
TITLE: A Collaborative Decision Support Method to Design Performance Evaluation Systems in CNOs
AUTHORS: Rui Pinto Ferreira; Antonio Lucas Soares ;
PUBLISHED: 2010, SOURCE: 11th IFIP WG 5 5 Working Conference on Virtual Enterprises, PRO-VE 2010 in COLLABORATIVE NETWORKS FOR A SUSTAINABLE WORLD, VOLUME: 336, PAGES: 561-568

Results per Page: 20.
Page 184 of 236. Total results: 4713.