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

AuthID: I-000-0K9


Publications Count: 4441

56 Team Members
Filters -> Year: 2025
4241
TITLE: Bayesian-Learning Based Guidelines to determine Equivalente Mutants
AUTHORS: VINCENZI, AURI M. R. ; Elisa Yumi Nakagawa; José Carlos Maldonado; Márcio Eduardo Delamaro; Roseli Aparecida Francelin Romero;
PUBLISHED: 2001, SOURCE: Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), Sheraton Buenos Aires Hotel, Buenos Aires, Argentina, June 13-15, 2001, PAGES: 180-187
4242
TITLE: COACH UNILANG - A Standard Language for Coaching a (Robo)Soccer Team
AUTHORS: Luís Paulo Reis ; Nuno Lau ;
PUBLISHED: 2001, SOURCE: 5th Robot World Cup Soccer Games and Conferences, RoboCup 2001 in RoboCup 2001: Robot Soccer World Cup V, VOLUME: 2377, PAGES: 183-192
4243
TITLE: Compilation increasing the scheduling scope for multi-memory-FPGA-based custom computing machines
AUTHORS: Cardoso, JMP ; Neto, HC;
PUBLISHED: 2001, SOURCE: 11th International Conference on Field-Programmable Logic and Applications, FPL 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2147, PAGES: 523-533
4244
TITLE: Electronic institutions as a framework for agents' negotiation and mutual commitment
AUTHORS: Rocha, AP ; Oliveira, E ;
PUBLISHED: 2001, SOURCE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PAGES: 232-245
4245
TITLE: Evaluating <i>N</i>-Selective Mutation for C programs: Unit and integration testing
AUTHORS: Maldonado, JC; Barbosa, EF; VINCENZI, AURI M. R. ; Delamaro, ME;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 22-33
4246
TITLE: Evaluating N-Selective Mutation for C Programs: Unit and Integration Testing
AUTHORS: José Carlos Maldonado; Ellen Francine Barbosa; VINCENZI, AURI M. R. ; Márcio Eduardo Delamaro;
PUBLISHED: 2001, SOURCE: Mutation Testing for the New Century, PAGES: 22-33
4247
TITLE: Experiences in the development of information systems in an industrial innovation context
AUTHORS: Soares, AL ; Gaida, W; Schmidt, C;
PUBLISHED: 2001, SOURCE: 3rd International Conference on Enterprise Information Systems, ICEIS 2001 in ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems, VOLUME: 2, PAGES: 846-853
4248
TITLE: FC Portugal 2001 Team Description: Flexible Teamwork and Configurable Strategy
AUTHORS: Nuno Lau ; Luís Paulo Reis ;
PUBLISHED: 2001, SOURCE: 5th Robot World Cup Soccer Games and Conferences, RoboCup 2001 in RoboCup 2001: Robot Soccer World Cup V, VOLUME: 2377, PAGES: 515-518
4249
TITLE: How the FEUP Removal to the New Premises Was Facilitated by the Internal Information System
AUTHORS: Lígia M Ribeiro ; Maria Antónia Carravilla ; Gabriel David ;
PUBLISHED: 2001, SOURCE: 7th International Conference of European University Information Systems, EUNIS 2001 in The Changing Universities - The Role of Technology, The 7th International Conference of European University Information Systems, March 28-30, 2001, Berlin, Germany, Proceedings, VOLUME: 13, PAGES: 251-258
4250
TITLE: Improving the Robustness and Encoding Complexity of Behavioural Clones
AUTHORS: Rui Camacho ; Pavel Brazdil ;
PUBLISHED: 2001, SOURCE: 12th European Conference on Machine Learning, ECML 2001 in Machine Learning: EMCL 2001, 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001, Proceedings, VOLUME: 2167, PAGES: 37-48
4251
TITLE: Inducing models of human control skills
AUTHORS: Camacho, R ;
PUBLISHED: 2001, SOURCE: 4th International Conference on Cognitive Modeling in ICCM - 2001: PROCEEDINGS OF THE 2001 FOURTH INTERNATIONAL CONFERENCE ON COGNITIVE MODELING, PAGES: 43-48
4252
TITLE: Matching and searching analysis for parallel hardware implementation on FPGAs
AUTHORS: Moisset, P; Diniz, P ; Park, J;
PUBLISHED: 2001, SOURCE: 2001 ACM/SIGDA 9th International Sysmposium on Field Programmable Gate Arrays (FPGA 2001) in ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA, PAGES: 125-133
4253
TITLE: Movement Query Operations for Spatio-Temporal Databases
AUTHORS: Talel Abdessalem; José Moreira; Cristina Ribeiro ;
PUBLISHED: 2001, SOURCE: 17èmes Journées Bases de Données Avancées, BDA 2001, 29 octobre - 2 novembre, Agadir (Maroc), Actes (Informal Proceedings).
4254
TITLE: Mutant Operators for Testing Concurrent Java Programs
AUTHORS: Márcio E Delamaro; Mauro Pezzè; VINCENZI, AURI M. R. ;
PUBLISHED: 2001, SOURCE: Proceedings of the 15th Brazilian Symposium on Software Engineering, SBES 2001, Rio de Janeiro, RJ, Brazil, October 3-5, 2001., PAGES: 272-285
4255
TITLE: Novel Algorithm Combining Temporal Partitioning and Sharing of Functional Units
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2001, SOURCE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, PAGES: 31-40
4256
TITLE: Parallel image processing system on a cluster of personal computers - Best student paper award: First prize
AUTHORS: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, AJ;
PUBLISHED: 2001, SOURCE: 4th International Conference on Vector and Parallel Processing (VECPAR 2000) in VECTOR AND PARALLEL PROCESSING - VECPAR 2000, VOLUME: 1981, PAGES: 439-452
4257
TITLE: Proteum/IM 2.0: An integrated mutation testing environment
AUTHORS: Delamaro, ME; Maldonado, JC; VINCENZI, AURI M. R. ;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 91-101
4258
TITLE: Proteum: A family of tools to support specification and program testing based on mutation
AUTHORS: Maldonado, JC; Delamaro, ME; Fabbri, SCPF; Simao, AD; Sugeta, T; VINCENZI, AURI M. R. ; Masiero, PC;
PUBLISHED: 2001, SOURCE: MUTATION TESTING FOR THE NEW CENTURY, VOLUME: 24, PAGES: 113-116
4259
TITLE: Reducing rankings of classifiers by eliminating redundant classifiers
AUTHORS: Brazdil, P ; Soares, C ; Pereira, R;
PUBLISHED: 2001, SOURCE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PAGES: 14-21
4260
TITLE: REQUIREMENTS FOR AN AGENT BASED INFORMATION SYSTEM SUPPORTING VARIABLY COUPLED NETWORKED ENTERPRISES
AUTHORS: Azevedo, AL ; Sousa, JP ; Soares, AL ;
PUBLISHED: 2001, SOURCE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PAGES: 137-144

Results per Page: 20.
Page 213 of 223. Total results: 4441.