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

AuthID: I-000-0K9


Publications Count: 4614

61 Team Members
Filters -> Year: 2026
4541
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
4542
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
4543
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
4544
TITLE: TARCA - An Integrated System for Diagnosis and Treatment of Cardiac Arrhythmias
AUTHORS: António José Ferreira da Silva; Eugénio Oliveira ;
PUBLISHED: 1996, SOURCE: SBIA, VOLUME: 1159, PAGES: 161-170
4545
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
4546
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
4547
TITLE: An Intelligent Distributed System for Environmental Management
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 1995, SOURCE: Environmental Informatics - EUROCOURSES, PAGES: 355-370
4548
TITLE: Behavioral Cloning A Correction
AUTHORS: Rui Camacho ; Donald Michie;
PUBLISHED: 1995, SOURCE: AI Mag., VOLUME: 16, ISSUE: 2, PAGES: 92
4549
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
4550
TITLE: Consistency and Context Management in a Multi-Agent Belief Revision Testbed
AUTHORS: Benedita Malheiro ; Eugénio Oliveira ;
PUBLISHED: 1995, SOURCE: ATAL, VOLUME: 1037, PAGES: 361-375
4551
TITLE: Detecting the Opportunities of Learning from the Interactions in a Society of Organizations
AUTHORS: Marcos Augusto Hochuli Shmeil; Eugénio C Oliveira ;
PUBLISHED: 1995, SOURCE: 12th Brazilian Symposium on Artificial Intelligence, SBIA 1995 in SBIA, VOLUME: 991, PAGES: 242-252
4552
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
4553
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
4554
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
4555
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
4556
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
4558
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
4559
TITLE: Abduction in Temporal Reasoning
AUTHORS: Cristina Ribeiro ; António Porto ;
PUBLISHED: 1994, SOURCE: ICTL, PAGES: 349-364
4560
TITLE: Belief Revision in Multi-Agent Systems
AUTHORS: Benedita Malheiro ; Nicholas R Jennings; Eugénio Oliveira ;
PUBLISHED: 1994, SOURCE: ECAI, PAGES: 294-298

Results per Page: 20.
Page 228 of 231. Total results: 4614.