Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores

AuthID: I-000-18J

External   Internal

Publications Count: 3696

86 Team Members
Filters -> Year: 2026
3461
TITLE: Integrity for electronic patient record reports
AUTHORS: Ferreira, A ; Correia, R ; Antunes, L ; Palhares, E; Marques, P ; Costa, P; Pereira, AD ;
PUBLISHED: 2004, SOURCE: 17th IEEE Symposium on Computer-Based Medical Systems in 17TH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, VOLUME: 17, PAGES: 4-9
3462
TITLE: Learning from Multiple Sources
AUTHORS: Luís Nunes ; Eugénio C Oliveira ;
PUBLISHED: 2004, SOURCE: AAMAS, VOLUME: 3, PAGES: 1106-1113
3463
TITLE: Linearization of the lambda-calculus and its relation with intersection type systems
AUTHORS: Florido, M ; Damas, L ;
PUBLISHED: 2004, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 14, ISSUE: 5, PAGES: 519-546
3464
TITLE: MARCS - Multi-agent railway control system
AUTHORS: Proença, H ; Oliveira, E ;
PUBLISHED: 2004, SOURCE: 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, VOLUME: 3315, PAGES: 12-21
3465
TITLE: Modeling loop unrolling: Approaches and open issues
AUTHORS: Cardoso, JMP ; Diniz, PC ;
PUBLISHED: 2004, SOURCE: 4th SAMOS International Workshop in COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, VOLUME: 3133, PAGES: 224-233
3466
TITLE: Multi-outlet retail site location assessment
AUTHORS: Mendes A.B. ; Themido I.H.;
PUBLISHED: 2004, SOURCE: International Transactions in Operational Research, VOLUME: 11, ISSUE: 1, PAGES: 1-18
3467
TITLE: Ontology-services agent to help in the structural and semantic heterogeneity
AUTHORS: Malucelli, A; Oliveira, E ;
PUBLISHED: 2004, SOURCE: 18th World Computer Congress in VIRTUAL ENTERPRISES AND COLLABORATIVE NETWORKS, VOLUME: 149, PAGES: 175-182
3468
TITLE: Scheduling parallel tasks on heterogeneous clusters
AUTHORS: Barbosa, J ; Morais, C; Monteiro, AP;
PUBLISHED: 2004, SOURCE: Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems, VOLUME: 16, PAGES: 449-454
3469
TITLE: Self-loop pipelining and reconfigurable dataflow arrays
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2004, SOURCE: 4th SAMOS International Workshop in COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, VOLUME: 3133, PAGES: 234-243
3470
TITLE: Supporting adaptable distributed systems with FORMAware
AUTHORS: Moreira, RS ; Blair, GS; Carraoatoso, E;
PUBLISHED: 2004, SOURCE: Proceedings - 24th International Conference on Distributed Computing Systems Workshops in Proceedings - International Conference on Distributed Computing Systems, VOLUME: 24, PAGES: 320-325
3471
TITLE: The use of Qualitative Indicators for Performance Measurement in Manufacturing Control Systems
AUTHORS: Paulo Leitão; Francisco Restivo ;
PUBLISHED: 2004, SOURCE: IFAC Proceedings Volumes, VOLUME: 37, ISSUE: 4, PAGES: 443-448
3472
TITLE: Towards to similarity identification to help in the agents' negotiation
AUTHORS: Malucelli, A; Oliveira, E ;
PUBLISHED: 2004, SOURCE: 17th Brazilian Symposium on Artificial Intelligence (SBIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2004, VOLUME: 3171, PAGES: 536-545
3473
TITLE: UMTS-WLAN service integration at core network level
AUTHORS: Pinto, P; Bernardo, L ; Sobral, P ;
PUBLISHED: 2004, SOURCE: 3rd European Conference on Universal Multiservice Networks in UNIVERSAL MULTISERVICE NETWORKS, PROCEEDINGS, VOLUME: 3262, PAGES: 29-39
3474
TITLE: Using Meta-Learning to Support Data Mining
AUTHORS: Ricardo Vilalta; Christophe G Giraud Carrier; Pavel Brazdil ; Carlos Soares ;
PUBLISHED: 2004, SOURCE: Int. J. Comput. Sci. Appl., VOLUME: 1, ISSUE: 1, PAGES: 31-45
3475
TITLE: A formal validation approach for holonic control system specifications
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1, ISSUE: January, PAGES: 203-210
3476
TITLE: Advice-exchange in heterogeneous groups of learning agents
AUTHORS: Luís Nunes ; Eugénio C Oliveira ;
PUBLISHED: 2003, SOURCE: AAMAS, VOLUME: 2, PAGES: 1084-1085
3477
TITLE: An approach to the formal specification of holonic control systems
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744, PAGES: 59-70
3478
TITLE: An approach to the formal specification of holonic control systems
AUTHORS: Leitão, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2744, PAGES: 59-70
3479
TITLE: An integrated information system powered by Prolog
AUTHORS: Porto, A ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 92-109
3480
TITLE: An Internet DGPS service for precise outdoor navigation
AUTHORS: Soares, MG; Malheiro, B ; Restivo, FJ ;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1, ISSUE: January, PAGES: 512-518

Results per Page: 20.
Page 174 of 185. Total results: 3696.