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
2221
TITLE: Linearity and iterator types for Gödel's System ℐ
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1, PAGES: 1-27
2222
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
2223
TITLE: Making Electronic Contracting Operational and Trustworthy
AUTHORS: Joana Urbano ; Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 12th Ibero-American Conference on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2010, VOLUME: 6433, PAGES: 264-273
2224
TITLE: Metalearning
AUTHORS: Johannes Fürnkranz; Philip K Chan; Susan Craw; Claude Sammut; William Uther; Adwait Ratnaparkhi; Xin Jin; Jiawei Han; Ying Yang; Katharina Morik; Marco Dorigo; Mauro Birattari; Thomas Stützle; Pavel Brazdil ; Ricardo Vilalta; Christophe Giraud-Carrier; Carlos Soares ; Jorma Rissanen; Rohan A Baxter; Ivan Bruha; Rohan A Baxter; Geoffrey I Webb; Luís Torgo; Arindam Banerjee; Hanhuai Shan; Soumya Ray; Prasad Tadepalli; Yoav Shoham; Rob Powers; Yoav Shoham; Rob Powers; Geoffrey I Webb; Soumya Ray; Stephen Scott; Hendrik Blockeel; Luc De Raedt; ...More
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 662-666
2225
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
2226
TITLE: On identifying and optimizing instruction sequences for dynamic compilation
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 2010 International Conference on Field-Programmable Technology, FPT'10 in Proceedings of the International Conference on Field-Programmable Technology, FPT 2010, 8-10 December 2010, Tsinghua University, Beijing, China, PAGES: 437-440
2227
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: 20th International Conference on Field Programmable Logic and Applications, FPL 2010 in International Conference on Field Programmable Logic and Applications, FPL 2010, August 31 2010 - September 2, 2010, Milano, Italy, PAGES: 267-270
2228
TITLE: On Identifying Segments of Traces for Dynamic Compilation
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 20th International Conference on Field Programmable Logic and Applications, FPL 2010 in International Conference on Field Programmable Logic and Applications, FPL 2010, August 31 2010 - September 2, 2010, Milano, Italy, PAGES: 263-266
2229
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
2230
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
2231
TITLE: Petri Net Based Engineering and Software Methodology for Service-Oriented Industrial Automation
AUTHORS: Marco M Mendes; Francisco Restivo ; Paulo Leitao ; Armando W Colombo;
PUBLISHED: 2010, SOURCE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314, PAGES: 233-240
2232
TITLE: PETTool: A pattern-based GUI testing tool
AUTHORS: Cunha, M; Paiva, ACR ; Ferreira, HS ; Abreu, R ;
PUBLISHED: 2010, SOURCE: 2010 2nd International Conference on Software Technology and Engineering, ICSTE 2010 in ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings, VOLUME: 1
2233
TITLE: Playmaker: Graphical Definition of Formations and Setplays
AUTHORS: Luis Paulo Reis ; Rui Lopes; Luis Mota ; Nuno Lau ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 582-587
2234
TITLE: Preface
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
2235
TITLE: Preprocessing techniques for context recognition from accelerometer data
AUTHORS: Davide Figo; Pedro C Diniz ; Diogo R Ferreira; Joao M P Cardoso ;
PUBLISHED: 2010, SOURCE: PERSONAL AND UBIQUITOUS COMPUTING, VOLUME: 14, ISSUE: 7, PAGES: 645-662
2236
TITLE: PROCEDURAL MODELLING OF MONUMENTAL BUILDINGS FROM TEXTUAL DESCRIPTIONS
AUTHORS: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 5th International Conference on Computer Graphics Theory and Applications (GRAPP 2010) in GRAPP 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTER GRAPHICS THEORY AND APPLICATIONS, PAGES: 130-133
2237
TITLE: Process optimization of service-oriented automation devices based on Petri nets
AUTHORS: Mendes, JM; Leitao, P ; Restivo, F ; Colombo, AW;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Industrial Informatics, INDIN 2010 in IEEE International Conference on Industrial Informatics (INDIN), PAGES: 274-279
2238
TITLE: Providing user context for mobile and social networking applications
AUTHORS: Andre C Santos; Joao M P Cardoso ; Diogo R Ferreira; Pedro C Diniz ; Paulo Chainho;
PUBLISHED: 2010, SOURCE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 6, ISSUE: 3, PAGES: 324-341
2239
TITLE: Real-Time Wireless Location and Tracking System with Motion Pattern Detection
AUTHORS: Pedro Abreu ; Vasco Vinhas; Pedro Mendes; Luis Paulo ; Julio Gargant ;
PUBLISHED: 2010, SOURCE: Robot Localization and Map Building
2240
TITLE: REFINING THE TRUSTWORTHINESS ASSESSMENT OF SUPPLIERS THROUGH EXTRACTION OF STEREOTYPES
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Enterprise Information Systems (ICEIS 2010) in ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 2: ARTIFICIAL INTELLIGENCE AND DECISION SUPPORT SYSTEMS, VOLUME: 2 AIDSS, PAGES: 85-92

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