Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores
AuthID: I-000-18J Publications Count: 3696
86 Team MembersFilters -> Year: 2026
3421
TITLE: Institutional services for dynamic virtual organizations
AUTHORS: Cardoso, HL ; Malucelli, A; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2005, SOURCE: 6th Working Conference on Virtual Enterprises in COLLABORATIVE NETWORKS AND THEIR BREEDING ENVIRONMENTS, VOLUME: 186, PAGES: 521-528
AUTHORS: Cardoso, HL ; Malucelli, A; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2005, SOURCE: 6th Working Conference on Virtual Enterprises in COLLABORATIVE NETWORKS AND THEIR BREEDING ENVIRONMENTS, VOLUME: 186, PAGES: 521-528
3422
TITLE: Introduction
AUTHORS: João Balsa ; Luís Moniz; Luís Paulo Reis ;
PUBLISHED: 2005, SOURCE: EPIA, PAGES: 487-487
AUTHORS: João Balsa ; Luís Moniz; Luís Paulo Reis ;
PUBLISHED: 2005, SOURCE: EPIA, PAGES: 487-487
3423
TITLE: Introduction
AUTHORS: João Balsa ; Luís Moniz; Luís Paulo Reis ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science, PAGES: 487-487
AUTHORS: João Balsa ; Luís Moniz; Luís Paulo Reis ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science, PAGES: 487-487
3424
TITLE: Introduction
AUTHORS: Luís Paulo Reis ; Nuno Lau ; Carlos Carreto ; Eduardo Silva ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science, PAGES: 397-397
AUTHORS: Luís Paulo Reis ; Nuno Lau ; Carlos Carreto ; Eduardo Silva ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science, PAGES: 397-397
3425
TITLE: Introduction
AUTHORS: Reis, LP ; Lau, N ; Carreto, C ; Silva, E ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 397-397
AUTHORS: Reis, LP ; Lau, N ; Carreto, C ; Silva, E ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 397-397
3426
TITLE: Introduction
AUTHORS: Ana Paiva; Carlos Martinho ; Eugénio C Oliveira ;
PUBLISHED: 2005, SOURCE: EPIA, PAGES: 101-101
AUTHORS: Ana Paiva; Carlos Martinho ; Eugénio C Oliveira ;
PUBLISHED: 2005, SOURCE: EPIA, PAGES: 101-101
3427
TITLE: IROBOT'05: 1(st) International Workshop on Intelligent Robotics
AUTHORS: Luis Paulo Reis ; Carlos Carreto ; Eduardo Silva ; Nuno Lau ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 225-225
AUTHORS: Luis Paulo Reis ; Carlos Carreto ; Eduardo Silva ; Nuno Lau ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 225-225
3428
TITLE: Lecture Notes in Artificial Intelligence: Introduction
AUTHORS: Reis, LP ; Lau, N ; Carreto, C; Silva, E ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 - Progress in Artificial Intelligence in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3808 LNCS, PAGES: 397
AUTHORS: Reis, LP ; Lau, N ; Carreto, C; Silva, E ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 - Progress in Artificial Intelligence in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3808 LNCS, PAGES: 397
3429
TITLE: Lecture Notes in Artificial Intelligence: Introduction
AUTHORS: Paiva, A ; Martinho, C ; De Oliveira, E ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 - Progress in Artificial Intelligence in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3808 LNCS, PAGES: 101
AUTHORS: Paiva, A ; Martinho, C ; De Oliveira, E ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 - Progress in Artificial Intelligence in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3808 LNCS, PAGES: 101
3430
TITLE: Lecture Notes in Artificial Intelligence: Introduction
AUTHORS: Balsa, J ; Moniz, L; Reis, LP ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 - Progress in Artificial Intelligence in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3808 LNCS, PAGES: 487
AUTHORS: Balsa, J ; Moniz, L; Reis, LP ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 - Progress in Artificial Intelligence in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3808 LNCS, PAGES: 487
3431
TITLE: Making way for emergency vehicles
AUTHORS: Oliveira, E ; Duarte, N;
PUBLISHED: 2005, SOURCE: European Simulation and Modelling Conference (ESM 2005) in Modelling and Simulation 2005, PAGES: 128-135
AUTHORS: Oliveira, E ; Duarte, N;
PUBLISHED: 2005, SOURCE: European Simulation and Modelling Conference (ESM 2005) in Modelling and Simulation 2005, PAGES: 128-135
3432
TITLE: Managing pi-resources in 4G wireless systems: the opportunistic way
AUTHORS: Sobral, P ; Bernardo, L ; Pinto, P;
PUBLISHED: 2005, SOURCE: Conference on Telecommunications in Telecommunications 2005, Proceedings, VOLUME: 2005, PAGES: 364-370
AUTHORS: Sobral, P ; Bernardo, L ; Pinto, P;
PUBLISHED: 2005, SOURCE: Conference on Telecommunications in Telecommunications 2005, Proceedings, VOLUME: 2005, PAGES: 364-370
3433
TITLE: MASTA'05: 3(rd) Workshop on Multi-Agent Systems - Theory and applications
AUTHORS: Joao Balsa ; Luis Moniz; Luis Paulo Reis ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 273-273
AUTHORS: Joao Balsa ; Luis Moniz; Luis Paulo Reis ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 273-273
3434
TITLE: Monitoring the quality of meta-data in web portals using statistics, visualization and data mining
AUTHORS: Soares, C ; Jorge, AM ; Domingues, MA;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 371-382
AUTHORS: Soares, C ; Jorge, AM ; Domingues, MA;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 371-382
3435
TITLE: New challenges in computer science education
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, VOLUME: 37, ISSUE: 3, PAGES: 203-207
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, VOLUME: 37, ISSUE: 3, PAGES: 203-207
3436
TITLE: On estimations for compiling software to FPGA-based systems
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: 16th IEEE International Conference on Application-Specific Systems, Architecture and Processors in 16th International Conference on Application-Specific Systems, Architecture and Processors, Proceedings, PAGES: 225-230
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: 16th IEEE International Conference on Application-Specific Systems, Architecture and Processors in 16th International Conference on Application-Specific Systems, Architecture and Processors, Proceedings, PAGES: 225-230
3437
TITLE: Pipelining sequences of loops: A first example
AUTHORS: Rodrigues, R; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PAGES: 147-151
AUTHORS: Rodrigues, R; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: International Workshop on Applied Reconfigurable Computing 2005, ARC 2005 in ARC 2005 - International Workshop on Applied Reconfigurable Computing 2005, PAGES: 147-151
3438
TITLE: Self localization of an autonomous robot: Using an EKF to merge odometry and vision based landmarks
AUTHORS: Sousa, AJ ; Costa, PJ ; Moreira, AP ; Carvalho, AS ;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, VOLUME: 1 2 VOLS, PAGES: 227-233
AUTHORS: Sousa, AJ ; Costa, PJ ; Moreira, AP ; Carvalho, AS ;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, VOLUME: 1 2 VOLS, PAGES: 227-233
3439
TITLE: Time-Bounded Universal Distributions
AUTHORS: Fortnow, Lance ; Luis Antunes ;
PUBLISHED: 2005, SOURCE: Electron. Colloquium Comput. Complex., VOLUME: TR05
AUTHORS: Fortnow, Lance ; Luis Antunes ;
PUBLISHED: 2005, SOURCE: Electron. Colloquium Comput. Complex., VOLUME: TR05
3440
TITLE: Tool-assisted specification and verification of typed low-level languages
AUTHORS: Barthe, G ; Courtieu, P; Dufay, G; De Sousa, SM ;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, ISSUE: 4, PAGES: 295-354
AUTHORS: Barthe, G ; Courtieu, P; Dufay, G; De Sousa, SM ;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, ISSUE: 4, PAGES: 295-354
