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
3521
TITLE: Evaluation of a visualisation design for knowledge sharing and information discovery
AUTHORS: Gouveia, L. ; Gouveia, FR ;
PUBLISHED: 2002, SOURCE: 3rd International Conference on Enterprise Information Systems (ICEIS 2001) in ENTERPRISE INFORMATION SYSTEMS III, VOLUME: 1, PAGES: 83-89
3522
TITLE: Fast and guaranteed C compilation onto the PACT-XPP™ 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
3523
TITLE: Grasping the potential of digital signal processing through real-time DSP laboratory experiments
AUTHORS: Ferreira, AJS ; Restivo, FJO ;
PUBLISHED: 2002, SOURCE: 10th IEEE Digital Signal Processing Workshop/2nd IEEE Signal Processing Education Workshop in PROCEEDINGS OF THE 2002 IEEE 10TH DIGITAL SIGNAL PROCESSING WORKSHOP & 2ND SIGNAL PROCESSING EDUCATION WORKSHOP, PAGES: 286-291
3524
TITLE: Holonic adaptive production control systems
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2002, SOURCE: 28th Annual Conference of the IEEE Industrial-Electronics-Society in IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, VOLUME: 4, PAGES: 2968-2973
3525
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
3526
TITLE: On Learning by Exchanging Advice
AUTHORS: Luís Nunes; Eugénio Oliveira ;
PUBLISHED: 2002, SOURCE: CoRR, VOLUME: cs.LG/0203010
3527
TITLE: On the Relation between Rank 2 Intersection Types and Simple Types
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2002, SOURCE: APPIA-GULP-PRODE, PAGES: 259-274
3528
TITLE: Querying petrographic descriptions in an intelligent database system
AUTHORS: Santos C.P. ;
PUBLISHED: 2002, SOURCE: Proceedings - 2002 IEEE International Conference on Artificial Intelligence Systems, ICAIS 2002, PAGES: 18-23
3529
TITLE: Reflection, Self-Awareness and Self-Healing in OpenORB
AUTHORS: Blair, GS; Coulson, G; Blair, L; Duran Limon, H; Grace, P; Moreira, R ; Parlavantzas, N;
PUBLISHED: 2002, SOURCE: Proceedings of the first Workshop on Self-Healing Systems (WOSS'02) in Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), PAGES: 9-14
3530
TITLE: Reliable framework architecture for multi-agents systems interaction
AUTHORS: Oliveira, E ; Pereira, G; Gomes, C;
PUBLISHED: 2002, SOURCE: 7th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2002) in PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON CSCW IN DESIGN, VOLUME: 7, PAGES: 276-281
3531
TITLE: Structural Abstraction and Application in Logic Programming
AUTHORS: António Porto ;
PUBLISHED: 2002, SOURCE: 6th Fuji International Symposium on Functional and Logic Programming, FLOPS 2002 in Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441, PAGES: 275-289
3532
TITLE: Tool-Assisted Specification and Verification of the JavaCard Platform
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: AMAST, VOLUME: 2422, PAGES: 41-59
3533
TITLE: Using BDI agents to improve driver modelling in a commuter scenario
AUTHORS: Rossetti, RJF ; Bordini, RH; Bazzan, ALC; Bampi, S; Liu, R; Vliet, DV;
PUBLISHED: 2002, SOURCE: Transportation Research Part C: Emerging Technologies, VOLUME: 10, ISSUE: 5-6, PAGES: 373-398
3534
TITLE: XPP-VC: A C Compiler with temporal partitioning for the PACT-XPP architecture
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 2438, PAGES: 864-874
3535
TITLE: 5dpo Team Description
AUTHORS: Paulo G Costa ; Armando Sousa ; Paulo Marques; Pedro Costa ; Susana Gaio; António Paulo Moreira ;
PUBLISHED: 2001, SOURCE: RoboCup, VOLUME: 2377 LNAI, PAGES: 563-566
3536
TITLE: A formal executable semantics of the JavaCard platform
AUTHORS: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLISHED: 2001, SOURCE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028, PAGES: 302-319
3537
TITLE: A language for specifying complete timetabling problems
AUTHORS: Reis, LP ; Oliveira, E ;
PUBLISHED: 2001, SOURCE: 3rd International Conference on Practice and Theory of Automated Timetabling in PRACTICE AND THEORY OF AUTOMATED TIMETABLING III, VOLUME: 2079, PAGES: 322-341
3538
TITLE: A multi-agent based cell controller
AUTHORS: Leitao, P ; Restivo, F ; Putnik, G ;
PUBLISHED: 2001, SOURCE: 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001) in ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2, PAGES: 463-470
3539
TITLE: A reflective component-based and architecture aware framework to manage architecture composition
AUTHORS: Moreira, RS ; Blair, GS; Carrapatoso, E;
PUBLISHED: 2001, SOURCE: 3rd International Symposium on Distributed Objects and Applications, DOA 2001 in Proceedings - 3rd International Symposium on Distributed Objects and Applications, DOA 2001, PAGES: 187-196
3540

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