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: 2912

85 Team Members
Filters -> Year: 2025
2121
TITLE: Novelty Detection Using Graphical Models for Semantic Room Classification
AUTHORS: Andre Susano Pinto; Andrzej Pronobis; Luis Paulo Reis ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 326-339
2122
TITLE: Operational Problems Recovery in Airlines - A Specialized Methodologies Approach
AUTHORS: Aguiar, B; Jose M Torres; Castro, AJM ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 83-97
2123
TITLE: Poker Vision: Playing Cards and Chips Identification Based on Image Processing
AUTHORS: Paulo Martins; Luis Paulo Reis ; Luis Teofilo ;
PUBLISHED: 2011, SOURCE: 5th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011, VOLUME: 6669, PAGES: 436-443
2124
TITLE: Prioritizing tests for fault localization through ambiguity group reduction
AUTHORS: Gonzalez Sanchez, A; Abreu, R ; Gross, HG; Van Gemund, AJC;
PUBLISHED: 2011, SOURCE: 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011 in 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings, PAGES: 83-92
2125
TITLE: Prioritizing tests for software fault diagnosis
AUTHORS: Alberto Gonzalez Sanchez; Eric Piel; Rui Abreu ; Hans Gerhard Gross; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 41, ISSUE: 10, PAGES: 1105-1129
2126
TITLE: Probabilistic error propagation modeling in logic circuits
AUTHORS: Gupta, S; Van Gemund, AJ; Abreu, R ;
PUBLISHED: 2011, SOURCE: 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 in Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, PAGES: 617-623
2127
TITLE: Programming Safety Requirements in the REFLECT Design Flow
AUTHORS: Zlatko Petrov; Kamil Kratky; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 841-847
2128
TITLE: Quality of Health Web Sites: Dimensions for a Wide Evaluation
AUTHORS: Alvaro Rocha ; Avelino Victor; Patricia Leite Brandao;
PUBLISHED: 2011, SOURCE: 10th International Conference on Perspectives in Business Informatics Research in PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, VOLUME: 90, PAGES: 254-266
2129
TITLE: Real Time Colour Based Player Tracking in Indoor Sports
AUTHORS: Catarina B Santiago; Armando Sousa ; Luis Paulo Reis ; Maria Luisa Estriga;
PUBLISHED: 2011, SOURCE: 2nd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VIPimage 2009) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: RECENT TRENDS, VOLUME: 19, PAGES: 17-35
2130
TITLE: Reconfigurable Computing
AUTHORS: João M P Cardoso ; Michael Hübner;
PUBLISHED: 2011
2131
2132
TITLE: REFLECT: Rendering FPGAs to Multi-core Embedded Computing
AUTHORS: João M P Cardoso ; Pedro C Diniz; Zlatko Petrov; Koen Bertels; Michael Hübner; Hans van Someren; Fernando Gonçalves; José Gabriel F de Coutinho; George A Constantinides; Bryan Olivier; Wayne Luk; Juergen Becker; Georgi Kuzmanov; Florian Thoma; Lars Braun; Matthias Kühnle; Razvan Nane; Vlad Mihai Sima; Kamil Krátký; José Carlos Alves ; João Canas Ferreira ; ...More
PUBLISHED: 2011, SOURCE: Reconfigurable Computing, PAGES: 261-289
2133
TITLE: Selected papers from the 17th reconfigurable architectures workshop (RAW2010)
AUTHORS: Dasu, A; Cardoso, JMP ; Bozorgzadeh, E; Becker, J;
PUBLISHED: 2011, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2011, PAGES: 1-2
2134
TITLE: Selection of algorithms to solve traveling salesman problems using meta-learning
AUTHORS: Jorge Kanda; André Carlos Ponce Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2011, SOURCE: Int. J. Hybrid Intell. Syst., VOLUME: 8, ISSUE: 3, PAGES: 117-128
2135
TITLE: Semantic Verification in an Open Collaboration Scenario
AUTHORS: Jorge Coelho ; Mario Florido ;
PUBLISHED: 2011, SOURCE: 6th International Conference on future Information Technology (FutureTech 2011) in FUTURE INFORMATION TECHNOLOGY, PT II, VOLUME: 185, ISSUE: PART 2, PAGES: 44-53
2136
TITLE: Semi-Automatic Creation of a Reference News Corpus for Fine-Grained Multi-Label Scenarios
AUTHORS: Teixeira, Jorge ; Luis Sarmento; Eugenio Oliveira ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 749-754
2137
TITLE: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
2138
TITLE: Simultaneous debugging of software faults
AUTHORS: Rui Abreu ; Peter Zoeteweij; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 84, ISSUE: 4, PAGES: 573-586
2139
TITLE: Social control in a normative framework: An adaptive deterrence approach
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2011, SOURCE: Web Intelligence and Agent Systems, VOLUME: 9, ISSUE: 4, PAGES: 363-375
2140
TITLE: Solving Heterogeneous Fleet Multiple Depot Vehicle Scheduling Problem as an Asymmetric Traveling Salesman Problem
AUTHORS: Jorge Alpedrinha Ramos; Luis Paulo Reis ; Dulce Pedrosa;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 98-109

Results per Page: 20.
Page 107 of 146. Total results: 2912.