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
2921
TITLE: Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL
AUTHORS: Soares, C ; Calejo, M ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1, PAGES: 276-+
2922
TITLE: IntellWheels MMI: A Flexible Interface for an Intelligent Wheelchair
AUTHORS: Reis, LP ; Braga, RAM; Sousa, M; Moreira, AP ;
PUBLISHED: 2010, SOURCE: 13th RoboCup Symposium held in Conjunction with the RoboCup Competition 2009 in ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII, VOLUME: 5949, PAGES: 296-307
2923
TITLE: Introducing ROC Curves as Error Measure Functions: A New Approach to Train ANN-Based Biomedical Data Classifiers
AUTHORS: Ramos Pollán, R; Guevara López, MA ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 15th Iberoamerican Congress on Pattern Recognition in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, VOLUME: 6419, PAGES: 517-+
2924
TITLE: Knowledge representation in soccer domain: An ontology development
AUTHORS: Abreu, P ; Faria, M; Reis, LP ; Gargarnta, J;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies, CISTI 2010 in Proceedings of the 5th Iberian Conference on Information Systems and Technologies, CISTI 2010
2925
TITLE: Linear Recursion
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
2926
TITLE: Linearity and iterator types for Gödel's System
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: High. Order Symb. Comput., VOLUME: 23, ISSUE: 1, PAGES: 1-27
2927
TITLE: Machine Learning algorithms applied to the classification of robotic soccer formations and opponent teams
AUTHORS: Faria, BM ; Reis, LP ; Lau, N ; Castillo, G;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Cybernetics and Intelligent Systems, CIS 2010 in 2010 IEEE Conference on Cybernetics and Intelligent Systems, CIS 2010, PAGES: 344-349
2928
TITLE: Making Electronic Contracting Operational and Trustworthy
AUTHORS: Urbano, J ; Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 12th Ibero-American Conference on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2010, VOLUME: 6433, PAGES: 264-273
2929
TITLE: Metalearning
AUTHORS: Pavel Brazdil ; Ricardo Vilalta; Christophe G Giraud Carrier; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 662-666
2930
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-+
2931
TITLE: Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach
AUTHORS: Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 7th International Workshop on Declarative Agent Languages and Technologies in DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VII, VOLUME: 5948, PAGES: 51-67
2932
TITLE: Omnidirectional Locomotion in a Quadruped Robot: A CPG-based Approach
AUTHORS: Vitor Matos; Cristina P Santos ;
PUBLISHED: 2010, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems in IEEE/RSJ 2010 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2010), PAGES: 3392-3397
2933
2934
TITLE: On Identifying Patterns in Code Repositories to Assist the Generation of Hardware Templates
AUTHORS: Adriano K Sanches; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPL, PAGES: 267-270
2935
TITLE: On Identifying Segments of Traces for Dynamic Compilation
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPL, PAGES: 263-266
2936
TITLE: On Using LALP to Map an Audio Encoder/Decoder on FPGAs
AUTHORS: Ricardo Menotti; Joao M P Cardoso ; Marcio M Fernandes; Eduardo Marques;
PUBLISHED: 2010, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE) in IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE 2010), PAGES: 3063-3068
2937
TITLE: Password sharing and how to reduce it
AUTHORS: Ferreira, A ; Correia, R ; Chadwick, DW; Santos, H; Gomes, R; Reis, D; Antunes, L ;
PUBLISHED: 2010, SOURCE: Certification and Security in Health-Related Web Applications: Concepts and Solutions, PAGES: 243-263
2938
2939
TITLE: Patterns for consistent software documentation
AUTHORS: Correia, FF ; Ferreira, HS ; Aguiar, A ; Flores, N ;
PUBLISHED: 2010, SOURCE: 16th Conference on Pattern Languages of Programs, PLoP09 in ACM International Conference Proceeding Series
2940
TITLE: Performance parameters of a whole body counter
AUTHORS: Bento, J; Teles, P ; Silva, L; Nogueira, P ; Neves, M; Vaz, P ;
PUBLISHED: 2010, SOURCE: RADIATION MEASUREMENTS, VOLUME: 45, ISSUE: 2, PAGES: 190-195

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