Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 3960
49 Team MembersFilters -> Year: 2025
3881
TITLE: On the complexity of commutativity analysis
AUTHORS: Ibarra, O; Diniz, P ; Rinard, M;
PUBLISHED: 1996, SOURCE: 2nd Annual International Conference on Computing and Combinatorics, COCOON 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1090, PAGES: 323-332
AUTHORS: Ibarra, O; Diniz, P ; Rinard, M;
PUBLISHED: 1996, SOURCE: 2nd Annual International Conference on Computing and Combinatorics, COCOON 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1090, PAGES: 323-332
3882
TITLE: Ray-Tracing for Stereoscopic Images
AUTHORS: Miguel M Leitão ; Augusto A Sousa ; Nunes N Ferreira;
PUBLISHED: 1996, SOURCE: Beiträge zur Graphischen Datenverarbeitung - Modelling and Graphics in Science and Technology, PAGES: 244-257
AUTHORS: Miguel M Leitão ; Augusto A Sousa ; Nunes N Ferreira;
PUBLISHED: 1996, SOURCE: Beiträge zur Graphischen Datenverarbeitung - Modelling and Graphics in Science and Technology, PAGES: 244-257
3883
TITLE: Semantic foundations of commutativity analysis
AUTHORS: Rinard, MC; Diniz, PC ;
PUBLISHED: 1996, SOURCE: 2nd International European Conference on Parallel Processing, Euro-Par 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1123, PAGES: 414-423
AUTHORS: Rinard, MC; Diniz, PC ;
PUBLISHED: 1996, SOURCE: 2nd International European Conference on Parallel Processing, Euro-Par 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1123, PAGES: 414-423
3884
TITLE: TARCA — An integrated system for diagnosis and treatment of cardiac arrhythmias
AUTHORS: da Silva, AJF; Oliveira, E ;
PUBLISHED: 1996, SOURCE: 13th Brazilian Symposium on Artificial Intelligence, SBIA 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1159, PAGES: 161-170
AUTHORS: da Silva, AJF; Oliveira, E ;
PUBLISHED: 1996, SOURCE: 13th Brazilian Symposium on Artificial Intelligence, SBIA 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1159, PAGES: 161-170
3885
TITLE: An experimental evaluation of a peer-model monitoring system for the support of a parallel processing environment
AUTHORS: Cruz, JM ; Cunha, JFE ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 331-343
AUTHORS: Cruz, JM ; Cunha, JFE ;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 331-343
3886
TITLE: An intelligent distributed system for environmental management
AUTHORS: MALHEIRO, B ; OLIVEIRA, E ;
PUBLISHED: 1995, SOURCE: Eurocourse on Environmental Informatics Applications in ENVIRONMENTAL INFORMATICS: METHODOLOGY AND APPLICATIONS OF ENVIRONMENTAL INFORMATION PROCESSING, VOLUME: 6, PAGES: 355-370
AUTHORS: MALHEIRO, B ; OLIVEIRA, E ;
PUBLISHED: 1995, SOURCE: Eurocourse on Environmental Informatics Applications in ENVIRONMENTAL INFORMATICS: METHODOLOGY AND APPLICATIONS OF ENVIRONMENTAL INFORMATION PROCESSING, VOLUME: 6, PAGES: 355-370
3887
TITLE: An Intelligent Distributed System for Environmental Management
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 1995, SOURCE: Environmental Informatics - EUROCOURSES, PAGES: 355-370
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 1995, SOURCE: Environmental Informatics - EUROCOURSES, PAGES: 355-370
3888
TITLE: Behavioral Cloning A Correction
AUTHORS: Rui Camacho ; Donald Michie;
PUBLISHED: 1995, SOURCE: AI Magazine, VOLUME: 16, ISSUE: 2, PAGES: 92
AUTHORS: Rui Camacho ; Donald Michie;
PUBLISHED: 1995, SOURCE: AI Magazine, VOLUME: 16, ISSUE: 2, PAGES: 92
3889
TITLE: Cognitive cooperation facilitators
AUTHORS: OLIVEIRA, E ; GARRIDO, P;
PUBLISHED: 1995, SOURCE: 1995 IEEE International Conference on Systems, Man and Cybernetics - Intelligent Systems for the 21st-Century in 1995 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, VOLUME: 4, PAGES: 3806-3809
AUTHORS: OLIVEIRA, E ; GARRIDO, P;
PUBLISHED: 1995, SOURCE: 1995 IEEE International Conference on Systems, Man and Cybernetics - Intelligent Systems for the 21st-Century in 1995 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, VOLUME: 4, PAGES: 3806-3809
3890
TITLE: Consistency and Context Management in a Multi-Agent Belief Revision Testbed
AUTHORS: Benedita Malheiro ; Eugenio Oliveira ;
PUBLISHED: 1995, SOURCE: International Joint Conference on Artificial Intelligence, IJCAI 1995 held with the 2nd Workshop on Agent Theories, Architectures, and Languages, ATAL 1995 in Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings, VOLUME: 1037, PAGES: 361-375
AUTHORS: Benedita Malheiro ; Eugenio Oliveira ;
PUBLISHED: 1995, SOURCE: International Joint Conference on Artificial Intelligence, IJCAI 1995 held with the 2nd Workshop on Agent Theories, Architectures, and Languages, ATAL 1995 in Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings, VOLUME: 1037, PAGES: 361-375
3891
TITLE: Detecting the Opportunities of Learning from the Interactions in a Society of Organizations
AUTHORS: Marcos Augusto Hochuli Shmeil; Eugenio Oliveira ;
PUBLISHED: 1995, SOURCE: Advances in Artificial Intelligence, 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995, Proceedings, VOLUME: 991, PAGES: 242-252
AUTHORS: Marcos Augusto Hochuli Shmeil; Eugenio Oliveira ;
PUBLISHED: 1995, SOURCE: Advances in Artificial Intelligence, 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995, Proceedings, VOLUME: 991, PAGES: 242-252
3892
TITLE: Detecting the opportunities of learning from the interactions in a society of organizations
AUTHORS: Marcos Augusto; Hochuli Shmeil; Eugénio Oliveira ;
PUBLISHED: 1995, SOURCE: 12th Brazilian Symposium on Artificial Intelligence, SBIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 991, PAGES: 242-252
AUTHORS: Marcos Augusto; Hochuli Shmeil; Eugénio Oliveira ;
PUBLISHED: 1995, SOURCE: 12th Brazilian Symposium on Artificial Intelligence, SBIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 991, PAGES: 242-252
3893
TITLE: Improving assumption based distributed belief revision
AUTHORS: MALHEIRO, B ; OLIVEIRA, E ;
PUBLISHED: 1995, SOURCE: 5th Scandinavian Symposium on Artificial Intelligence (SCAI 95) in SCAI '95 - FIFTH SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 28, PAGES: 41-50
AUTHORS: MALHEIRO, B ; OLIVEIRA, E ;
PUBLISHED: 1995, SOURCE: 5th Scandinavian Symposium on Artificial Intelligence (SCAI 95) in SCAI '95 - FIFTH SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 28, PAGES: 41-50
3894
TITLE: Integration of concurrency control in a language with subtyping and subclassing
AUTHORS: BAQUERO, C ; OLIVEIRA, R ; MOURA, F ;
PUBLISHED: 1995, SOURCE: USENIX Conference on Object-Oriented Technologies (COOTS) in PROCEEDINGS OF THE USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES (COOTS), PAGES: 173-183
AUTHORS: BAQUERO, C ; OLIVEIRA, R ; MOURA, F ;
PUBLISHED: 1995, SOURCE: USENIX Conference on Object-Oriented Technologies (COOTS) in PROCEEDINGS OF THE USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES (COOTS), PAGES: 173-183
3895
TITLE: On writing a router for message passing in a transputer network
AUTHORS: Sousa, AA ; Ferreira, FN;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 471-476
AUTHORS: Sousa, AA ; Ferreira, FN;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 471-476
3896
TITLE: Organizational behaviour analysis and information technology fitness in manufacturing
AUTHORS: Lucas L Soares ; Pinto J P Ferreira ; Mendonça, JM;
PUBLISHED: 1995, SOURCE: Balanced Automation Systems, PAGES: 319-326
AUTHORS: Lucas L Soares ; Pinto J P Ferreira ; Mendonça, JM;
PUBLISHED: 1995, SOURCE: Balanced Automation Systems, PAGES: 319-326
3897
TITLE: Parallel implementation of an interactive ray-tracing algorithm
AUTHORS: Sousa, AA ; Ferreira, FN;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 409-414
AUTHORS: Sousa, AA ; Ferreira, FN;
PUBLISHED: 1995, SOURCE: 1st International Meeting on Vector and Parallel Processing (VecPar 93) in COMPUTING SYSTEMS IN ENGINEERING, VOLUME: 6, ISSUE: 4-5, PAGES: 409-414
3898
TITLE: Síntese de imagem: controlo progressivo do nível de realismo e arquitecturas paralelas
AUTHORS: António Augusto de Sousa ;
PUBLISHED: 1995
AUTHORS: António Augusto de Sousa ;
PUBLISHED: 1995
3899
TITLE: Solving partial occlusion with range images and 3D histograms
AUTHORS: Lopes, P; Oliveira, E ;
PUBLISHED: 1995, SOURCE: 1995 IEEE 21st International Conference on Industrial Electronics, Control, and Instrumentation in PROCEEDINGS OF THE 1995 IEEE IECON - 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL, AND INSTRUMENTATION, VOLS 1 AND 2, VOLUME: 2, PAGES: 1313-1318
AUTHORS: Lopes, P; Oliveira, E ;
PUBLISHED: 1995, SOURCE: 1995 IEEE 21st International Conference on Industrial Electronics, Control, and Instrumentation in PROCEEDINGS OF THE 1995 IEEE IECON - 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL, AND INSTRUMENTATION, VOLS 1 AND 2, VOLUME: 2, PAGES: 1313-1318
3900
TITLE: Abduction in Temporal Reasoning
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1994, SOURCE: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings, VOLUME: 827, PAGES: 349-364
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1994, SOURCE: Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings, VOLUME: 827, PAGES: 349-364