Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4441
56 Team MembersFilters -> Year: 2025
4201
TITLE: Using Contextual Logic Programming for Temporal Reasoning
AUTHORS: Vítor Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 479-490
AUTHORS: Vítor Nogueira ; Salvador Abreu ; Gabriel David ;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 479-490
4202
TITLE: Using estimates from behavioral synthesis tools in compiler-directed design space exploration
AUTHORS: So, B; Diniz, PC ; Hall, MW;
PUBLISHED: 2003, SOURCE: Proceedings of the 40th Design Automation Conference in Proceedings - Design Automation Conference, PAGES: 514-519
AUTHORS: So, B; Diniz, PC ; Hall, MW;
PUBLISHED: 2003, SOURCE: Proceedings of the 40th Design Automation Conference in Proceedings - Design Automation Conference, PAGES: 514-519
4203
TITLE: XSDoc: an Extensible Wiki-based Infrastructure for Framework Documentation
AUTHORS: Ademar Aguiar ; Gabriel David ; Manuel Padilha;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 11-24
AUTHORS: Ademar Aguiar ; Gabriel David ; Manuel Padilha;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 11-24
4204
TITLE: A comparative study of some issues concerning algorithm recommendation using ranking methods
AUTHORS: Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 8th Ibero-American Conference on Artifical Intelligence (IBERAMIA 02) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, VOLUME: 2527, PAGES: 80-89
AUTHORS: Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 8th Ibero-American Conference on Artifical Intelligence (IBERAMIA 02) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, VOLUME: 2527, PAGES: 80-89
4205
TITLE: A compiler approach to fast hardware design space exploration in FPGA-based systems
AUTHORS: So, B; Hall, MW; Diniz, PC ;
PUBLISHED: 2002, SOURCE: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02) in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), PAGES: 165-176
AUTHORS: So, B; Hall, MW; Diniz, PC ;
PUBLISHED: 2002, SOURCE: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'02) in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), PAGES: 165-176
4206
TITLE: A Framework for e-Cooperating Business Agents: An Application to the (Re)engineering of Production Facilities
AUTHORS: Gil Gonçalves ; João Borges de Sousa; Fernando M Lobo Pereira; Paulo Sousa Dias; António Santos;
PUBLISHED: 2002, SOURCE: Collaborative Systems for Production Management, IFIP TC5/WG5.7 Eighth International Conference on Advances in Production Management Systems, September 8-13, 2002, Eindhoven, The Netherlands, VOLUME: 257, PAGES: 189-204
AUTHORS: Gil Gonçalves ; João Borges de Sousa; Fernando M Lobo Pereira; Paulo Sousa Dias; António Santos;
PUBLISHED: 2002, SOURCE: Collaborative Systems for Production Management, IFIP TC5/WG5.7 Eighth International Conference on Advances in Production Management Systems, September 8-13, 2002, Eindhoven, The Netherlands, VOLUME: 257, PAGES: 189-204
4207
TITLE: A multi-agent system for e-insurance brokering
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2002, SOURCE: Agent-Related Workshops on Agent Technol and Software Engn/Agent Technologies for E-Services/3rd Int Symp on Multi-Agents Syst, Large Complex Syst and E-Businesses in AGENT TECHNOLOGIES, INFRASTRUCTURES, TOOLS, AND APPLICATIONS FOR E-SERVICES, VOLUME: 2592, PAGES: 263-282
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2002, SOURCE: Agent-Related Workshops on Agent Technol and Software Engn/Agent Technologies for E-Services/3rd Int Symp on Multi-Agents Syst, Large Complex Syst and E-Businesses in AGENT TECHNOLOGIES, INFRASTRUCTURES, TOOLS, AND APPLICATIONS FOR E-SERVICES, VOLUME: 2592, PAGES: 263-282
4208
TITLE: A social actors network approach for the design of networked and virtual enterprises
AUTHORS: Soares, AL ; Toscano, CA ; de Sousa, JP ;
PUBLISHED: 2002, SOURCE: 11th International Prolamat Conference on Digital Enterprise - New Challenges in DIGITAL ENTERPRISE CHALLENGES: LIFE-CYCLE APPROACH TO MANAGEMENT AND PRODUCTION, VOLUME: 77, PAGES: 337-348
AUTHORS: Soares, AL ; Toscano, CA ; de Sousa, JP ;
PUBLISHED: 2002, SOURCE: 11th International Prolamat Conference on Digital Enterprise - New Challenges in DIGITAL ENTERPRISE CHALLENGES: LIFE-CYCLE APPROACH TO MANAGEMENT AND PRODUCTION, VOLUME: 77, PAGES: 337-348
4209
TITLE: A tool to support the shared understanding of manufacturing systems organization in innovation processes
AUTHORS: Soares, AL ;
PUBLISHED: 2002, SOURCE: INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, VOLUME: 15, ISSUE: 5, PAGES: 394-412
AUTHORS: Soares, AL ;
PUBLISHED: 2002, SOURCE: INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, VOLUME: 15, ISSUE: 5, PAGES: 394-412
4210
TITLE: Bayesian-learning based guidelines to determine equivalent mutants
AUTHORS: VINCENZI, AURI M. R. ; Nakagawaa, EY; Maldonado, JC; Delamaro, ME; Romero, RAF;
PUBLISHED: 2002, SOURCE: INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, VOLUME: 12, ISSUE: 6, PAGES: 675-689
AUTHORS: VINCENZI, AURI M. R. ; Nakagawaa, EY; Maldonado, JC; Delamaro, ME; Romero, RAF;
PUBLISHED: 2002, SOURCE: INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, VOLUME: 12, ISSUE: 6, PAGES: 675-689
4211
TITLE: Bayesian-learning based guidelines to determine equivalent mutants
AUTHORS: VINCENZI, AURI M. R. ; Elisa Yumi Nakagawa; José Carlos Maldonado; Márcio Eduardo Delamaro; Roseli Aparecida Francelin Romero;
PUBLISHED: 2002, SOURCE: International Journal of Software Engineering and Knowledge Engineering, VOLUME: 12, ISSUE: 6, PAGES: 675-689
AUTHORS: VINCENZI, AURI M. R. ; Elisa Yumi Nakagawa; José Carlos Maldonado; Márcio Eduardo Delamaro; Roseli Aparecida Francelin Romero;
PUBLISHED: 2002, SOURCE: International Journal of Software Engineering and Knowledge Engineering, VOLUME: 12, ISSUE: 6, PAGES: 675-689
4212
TITLE: Coarse-grain pipelining on multiple FPGA architectures
AUTHORS: Ziegler, H; So, B; Hall, M; Diniz, PC ;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2002 in IEEE Symposium on FPGAs for Custom Computing Machines, Proceedings, VOLUME: 2002-January, PAGES: 77-88
AUTHORS: Ziegler, H; So, B; Hall, M; Diniz, PC ;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2002 in IEEE Symposium on FPGAs for Custom Computing Machines, Proceedings, VOLUME: 2002-January, PAGES: 77-88
4213
TITLE: Cooperative Learning Using Advice Exchange
AUTHORS: Luís Nunes ; Eugenio Oliveira ;
PUBLISHED: 2002, SOURCE: Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning, VOLUME: 2636, PAGES: 33-48
AUTHORS: Luís Nunes ; Eugenio Oliveira ;
PUBLISHED: 2002, SOURCE: Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning, VOLUME: 2636, PAGES: 33-48
4214
TITLE: Data reorganization engines for the next generation of system-on-a-chip FPGAs
AUTHORS: Diniz, PC ; Park, J;
PUBLISHED: 2002, SOURCE: FPGA 2002: Tenth ACM International Symposium on Field-Programmable Gate Arrays in ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA, PAGES: 237-244
AUTHORS: Diniz, PC ; Park, J;
PUBLISHED: 2002, SOURCE: FPGA 2002: Tenth ACM International Symposium on Field-Programmable Gate Arrays in ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA, PAGES: 237-244
4215
TITLE: Emotional valence-based mechanisms and agent personality
AUTHORS: Oliveira, E ; Sarmento, L;
PUBLISHED: 2002, SOURCE: 16th Brazilian Symposium on Artificial Intelligence (SBIA 2002) in ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 2507, PAGES: 152-162
AUTHORS: Oliveira, E ; Sarmento, L;
PUBLISHED: 2002, SOURCE: 16th Brazilian Symposium on Artificial Intelligence (SBIA 2002) in ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 2507, PAGES: 152-162
4216
TITLE: EvalTool: Um Ambiente de Apoio à Avaliação e Seleção de Ferramentas de Teste para Programas Orientados a Objetos
AUTHORS: André Luís dos Santos Domingues; Adenilso da Silva Simão; VINCENZI, AURI M. R. ; José Carlos Maldonado;
PUBLISHED: 2002, SOURCE: Proceedings of the 16th Brazilian Symposium on Software Engineering, SBES 2002, Gramado, RS, Brazil, October 16-18, 2002., PAGES: 384-389
AUTHORS: André Luís dos Santos Domingues; Adenilso da Silva Simão; VINCENZI, AURI M. R. ; José Carlos Maldonado;
PUBLISHED: 2002, SOURCE: Proceedings of the 16th Brazilian Symposium on Software Engineering, SBES 2002, Gramado, RS, Brazil, October 16-18, 2002., PAGES: 384-389
4217
TITLE: Experiences in the development of information systems in an industrial innovation context
AUTHORS: Soares, AL ; Gaida, W; Schmidt, C;
PUBLISHED: 2002, SOURCE: 3rd International Conference on Enterprise Information Systems (ICEIS 2001) in ENTERPRISE INFORMATION SYSTEMS III, PAGES: 248-255
AUTHORS: Soares, AL ; Gaida, W; Schmidt, C;
PUBLISHED: 2002, SOURCE: 3rd International Conference on Enterprise Information Systems (ICEIS 2001) in ENTERPRISE INFORMATION SYSTEMS III, PAGES: 248-255
4218
TITLE: Fast and guaranteed C compilation onto the PACT-XPP (TM) reconfigurable computing platform
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, VOLUME: 2002-January, PAGES: 291-292
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, VOLUME: 2002-January, PAGES: 291-292
4219
TITLE: Improved dataset characterisation for meta-learning
AUTHORS: Peng, YH; Flach, PA; Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 141-152
AUTHORS: Peng, YH; Flach, PA; Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 141-152
4220
TITLE: Improving the efficiency of ILP systems using an incremental language level search
AUTHORS: Rui Camacho ;
PUBLISHED: 2002
AUTHORS: Rui Camacho ;
PUBLISHED: 2002
