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
3301
3302
TITLE: Sistema de resgate e salvamento coordenado utilizando o simulador ciber-rato
AUTHORS: Lemos, L; Cruz, F; Reis, LP ;
PUBLISHED: 2007, SOURCE: 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao: Novas Perspectivas em Sistemas e Tecnologias de Informacao, CISTI 2007 - 2nd Iberian Conference on Information Systems and Technologies: New Perspectives on Information Systems and Technologies, CISTI 2007 in Novas Perspectivas em Sistemas e Tecnologias de Informacao - Actas da 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2007
3303
TITLE: SWAF: Software support to the management of pluriactivity feasibility studies on family farming
AUTHORS: Braulio Adriano De Mello; Denílson Rodrigues Da Silva; Ricardo M Nascimento; Paulo Ricardo B Betencourt; Cristina Paludo Santos ;
PUBLISHED: 2007, SOURCE: Novas Perspectivas em Sistemas e Tecnologias de Informacao - Actas da 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2007, PAGES: 27-36
3304
TITLE: Synthesis of regular expressions targeting FPGAs: Current status and open issues
AUTHORS: Bispo, J ; Sourdis, I; Cardoso, JMP ; Vassiliadis, S;
PUBLISHED: 2007, SOURCE: 3rd International Workshop on Applied Reconfigurable Computing in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 4419, PAGES: 179-+
3305
TITLE: Texture cue based tracking system using wavelet transform and a fuzzy grammar
AUTHORS: Manuel J Ferreira; Cristina P Santos ; Joao Monteiro ;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1, PAGES: 393-398
3306
TITLE: Texture segmentation based on fuzzy grammar for cork parquet quality control
AUTHORS: Manuel J Ferreira; Cristina P Santos ; Joao Monteiro ;
PUBLISHED: 2007, SOURCE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, PAGES: 1832-1837
3307
TITLE: The micro-welding ability of 100W high brightness fibre laser on 316L stainless steel
AUTHORS: Kong, CJ; Williams, S; Colegrove, P; Lopes, G ;
PUBLISHED: 2007, SOURCE: International Congress on Applications of Lasers & Electro-Optics
3308
TITLE: Tools and libraries to model and manipulate circular programs
AUTHORS: João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2007, SOURCE: PEPM, PAGES: 102-111
3309
TITLE: Towards detecting and solving aspect conflicts and interferences using unit tests
AUTHORS: André Restivo ; Ademar Aguiar ;
PUBLISHED: 2007, SOURCE: SPLAT, VOLUME: 217, PAGES: 7
3310
TITLE: Towards Ubiquitous Production Systems and Enterprises
AUTHORS: Putnik, G ; Cardeira, C ; Leltao, P ; Restivo, F ; Santos, J; Sluga, A; Butala, P;
PUBLISHED: 2007, SOURCE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, PAGES: 3203-3208
3311
TITLE: Two Vision-guided vehicles: temporal coordination using nonlinear dynamical systems
AUTHORS: Cristina P Santos ; Manuel Ferreira;
PUBLISHED: 2007, SOURCE: IEEE International Conference on Robotics and Automation in PROCEEDINGS OF THE 2007 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-10, PAGES: 14-19
3312
TITLE: Type-Based Static and Dynamic Website Verification
AUTHORS: Jorge Coelho ; Mário Florido ;
PUBLISHED: 2007, SOURCE: ICIW, PAGES: 32
3313
TITLE: Understanding dynamic agent's reasoning
AUTHORS: Lau, N ; Reis, LP ; Certo, J;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PAGES: 542-+
3314
TITLE: Using intersection types for cost-analysis of higher-order polymorphic functional programs
AUTHORS: Hugo R Simoes; Hammond, Kevin ; Mario Florido ; Pedro Vasconcelos ;
PUBLISHED: 2007, SOURCE: International Workshop on Types for Proofs and Programs in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4502, PAGES: 221-236
3315
3316
TITLE: Using specialized agents in a distributed MAS to solve airline operations problems: a case study
AUTHORS: Castro, AJM ; Oliveira, E ;
PUBLISHED: 2007, SOURCE: IEEE/WIC/ACM International Conference on Intelligent Agent Technology and Web Intelligence in PROCEEDINGS OF THE IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2007), PAGES: 473-476
3317
TITLE: Why Facilitate Patient Access to Medical Records
AUTHORS: Ferreira, A ; Correia, A; Silva, A; Corte, A; Pinto, A; Saavedra, A; Pereira, AL; Pereira, AF; Cruz Correia, R ; Antunes, LF ;
PUBLISHED: 2007, SOURCE: 4th Conference of the International-Council-on-Medical-and-Care-Compunetics in MEDICAL AND CARE COMPUNETICS 4, VOLUME: 127, PAGES: 77-+
3318
TITLE: XCentric: A Logic-Programming Language for XML Processing
AUTHORS: Jorge Coelho ; Mário Florido ;
PUBLISHED: 2007, SOURCE: PLAN-X, PAGES: 93-94
3319
3320

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