Laboratório de Inteligência Artificial e Ciência de Computadores (LIACC)
Artificial Intelligence and Computer Science Laboratory

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 2665

83 Team Members
Filters -> Year: 2024
1961
TITLE: Godel's system T revisited  Full Text
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
INDEXED IN: Scopus WOS DBLP CrossRef
1962
TITLE: Grounding information security in healthcare  Full Text
AUTHORS: Ferreira, A ; Antunes, L ; Chadwick, D; Correia, R ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 79, ISSUE: 4, PAGES: 268-283
INDEXED IN: Scopus WOS DBLP CrossRef: 13
1963
TITLE: Hybrid methodology of user-centered development
AUTHORS: Antonio Pedro Costa; Maria Joao Loureiro; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 192-197
INDEXED IN: WOS
1964
TITLE: Hybrid User Centered Development Methodology: The practical case of Courseware Sere
AUTHORS: Costa, AP ; Loureiro, MJ ; Reis, LP ;
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
INDEXED IN: Scopus
1965
TITLE: i-om: Intelligent Optimization for Computer Graphics and Visualization
AUTHORS: Pedro Miguel Moreira ; Luis Paulo Reis ; Antonio Augusto de Sousa ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 484-489
INDEXED IN: Scopus WOS
1966
TITLE: IBT: A Real-time Tempo and Beat Tracking System PDF
AUTHORS: João Lobato Oliveira ; Fabien Gouyon ; Luis Gustavo Martins ; Luís Paulo Reis ;
PUBLISHED: 2010, SOURCE: 11th International Society for Music Information Retrieval Conference, ISMIR 2010 in Proceedings of the 11th International Society for Music Information Retrieval Conference, ISMIR 2010, Utrecht, Netherlands, August 9-13, 2010, PAGES: 291-296
INDEXED IN: Scopus DBLP Handle
1967
TITLE: Increasing system availability with local recovery based on fault localization  Full Text
AUTHORS: Sozer, H; Abreu, R ; Aksit, M; Van Gemund, AJC;
PUBLISHED: 2010, SOURCE: 10th International Conference on Quality Software, QSIC 2010 in Proceedings - International Conference on Quality Software, PAGES: 276-281
INDEXED IN: Scopus DBLP CrossRef: 2
1968
TITLE: Inductive Transfer
AUTHORS: Paul E Utgoff; James Cussens; Stefan Kramer; Sanjay Jain; Frank Stephan; Luc De Raedt; Ljupčo Todorovski; Pierre Flener; Ute Schmid; Ricardo Vilalta; Christophe Giraud-Carrier; Pavel Brazdil ; Carlos Soares ; Eamonn Keogh; William D Smart; Pieter Abbeel; Andrew Y Ng;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 545-548
INDEXED IN: DBLP CrossRef: 10
1969
TITLE: Information measures for infinite sequences  Full Text
AUTHORS: Luis Antunes ; Andre Souto ;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 26-28, PAGES: 2602-2611
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1970
TITLE: Injecting Service-Orientation into Multi-Agent Systems in Industrial Automation
AUTHORS: Mendes, JM; Restivo, F ; Leitao, P ; Colombo, AW;
PUBLISHED: 2010, SOURCE: 10th International Conference on Artificial Intelligence and Soft Computing (ICAISC 2010) in ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT II, VOLUME: 6114, ISSUE: PART 2, PAGES: 313-320
INDEXED IN: Scopus WOS CrossRef Handle
1971
TITLE: Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL
AUTHORS: Carlos Soares ; Miguel Calejo ;
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-284
INDEXED IN: Scopus WOS DBLP CrossRef
1972
TITLE: IntellWheels MMI: A Flexible Interface for an Intelligent Wheelchair
AUTHORS: Luis Paulo Reis ; Rodrigo A M Braga; Marcio Sousa; Antonio Paulo Moreira ;
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
INDEXED IN: Scopus WOS DBLP CrossRef: 12
1973
TITLE: Introducing ROC Curves as Error Measure Functions: A New Approach to Train ANN-Based Biomedical Data Classifiers  Full Text
AUTHORS: Raul Ramos Pollan; Miguel Angel Guevara Lopez ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 15th Iberoamerican Congress on Pattern Recognition in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, VOLUME: 6419, PAGES: 517-524
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1974
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
INDEXED IN: Scopus
1975
TITLE: Linear Recursion PDF
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
INDEXED IN: DBLP arXiv
1976
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
INDEXED IN: Scopus DBLP CrossRef: 1
1977
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
INDEXED IN: Scopus CrossRef: 24
1978
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
INDEXED IN: Scopus WOS DBLP CrossRef: 7
1979
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
INDEXED IN: DBLP CrossRef
1980
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
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 99 de 134. Total de resultados: 2665.