Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4625

61 Team Members
Filters -> Year: 2026
3641
TITLE: Designing an algorithmic proof of the two-squares theorem
AUTHORS: Ferreira, JF ;
PUBLISHED: 2010, SOURCE: 10th International Conference on the Mathematics of Program Construction, MPC 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6120 LNCS, PAGES: 140-156
3642
TITLE: Development of a Realistic Simulator for Robotic Intelligent Wheelchairs in a Hospital Environment
AUTHORS: Braga, RAM; Malheiro, P; Reis, LP ;
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: 23-34
3643
TITLE: Diagnosing multiple intermittent failures using maximum likelihood estimation
AUTHORS: Rui Abreu ; Arjan J C van Gemund;
PUBLISHED: 2010, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 174, ISSUE: 18, PAGES: 1481-1497
3644
TITLE: Directed Deadline Obligations in Agent-Based Business Contracts
AUTHORS: Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: Multi-Agents Logics, Languages, and Organizations Workshop in COORDINATION, ORGANIZATIONS, INSTITUTIONS AND NORMS IN AGENT SYSTEMS V, VOLUME: 6069, ISSUE: M4D, PAGES: 225-240
3645
TITLE: Dotted Version Vectors: Logical Clocks for Optimistic Replication
AUTHORS: Nuno M Preguiça ; Carlos Baquero ; Paulo Sérgio Almeida ; Victor Fonte ; Ricardo Gonçalves;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1011.5808
3646
TITLE: Empirical Evaluation of Ranking Prediction Methods for Gene Expression Data Classification
AUTHORS: Bruno Feres de Souza; André Carlos Ponce de Leon Ferreira de Carvalho; Carlos Soares ;
PUBLISHED: 2010, SOURCE: IBERAMIA, VOLUME: 6433 LNAI, PAGES: 194-203
3647
TITLE: Engaging the Dynamics of Trust in Computational Trust and Reputation Systems
AUTHORS: Danek, A; Urbano, J ; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 4th KES International Symposium on Agent and Multi-Agent Systems in AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PT I, PROCEEDINGS, VOLUME: 6070, ISSUE: PART 1, PAGES: 22-+
3648
TITLE: Environmental Monitoring Services and Wireless Sensor networks applied on urban Spaces
AUTHORS: Carlos Oliveira; Gil Gonçalves ;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) in PROCEEDINGS OF 2010 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2010), VOLS. 1-3, VOLUME: 3, PAGES: 35-40
3649
TITLE: Evaluation of a Communication Platform for Safety Critical Robotics
AUTHORS: Cunha, FM; Braga, RAM; Reis, LP ;
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: 239-246
3650
TITLE: Evaluation of Global Descriptors for Multimedia Retrieval in Medical Applications
AUTHORS: Filipe Coelho; Cristina Ribeiro ;
PUBLISHED: 2010, SOURCE: DEXA Workshops, PAGES: 127-131
3651
TITLE: Exploiting count spectra for Bayesian fault localization
AUTHORS: Abreu, R ; Gonzalez Sanchez, A; Van Gemund, AJC;
PUBLISHED: 2010, SOURCE: 6th International Conference on Predictive Models in Software Engineering, PROMISE 2010 in ACM International Conference Proceeding Series, PAGES: 12
3652
TITLE: Fast 3D Reconstruction of the Spine by Non-expert Users Using a Statistical Articulated Model
AUTHORS: Moura, DC; Boisvert, J; Barbosa, JG ; João Manuel R. S. Tavares ; Labelle, H;
PUBLISHED: 2010, SOURCE: 8th Biennial Meeting of the International-Research-Society-of-Spinal-Deformities (IRSSD) in RESEARCH INTO SPINAL DEFORMITIES 7, VOLUME: 158, PAGES: 268-+
3653
TITLE: Fault-Tolerant Aggregation for Dynamic Networks
AUTHORS: Jesus, P ; Baquero, C ; Almeida, PS ;
PUBLISHED: 2010, SOURCE: 29th IEEE International Symposium on Reliable Distributed Systems in 2010 29TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS SRDS 2010, PAGES: 37-43
3654
3655
TITLE: Football scientia - An automated tool for professional soccer coaches
AUTHORS: Abreu, P ; Moura, J; Silva, DC ; Reis, LP ; Garganta, J ;
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: 126-131
3656
TITLE: Formal methods for reconfigurable assembly systems
AUTHORS: Ribeiro, T; Gil Gonçalves ;
PUBLISHED: 2010, SOURCE: 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), PAGES: 1-6
3657
TITLE: Frontiers in Artificial Intelligence and Applications: Preface
AUTHORS: Soares, C ; Ghani, R;
PUBLISHED: 2010, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 218
3658
TITLE: Functional, Control and Data Flow, and Mutation Testing: Theory and Practice
AUTHORS: VINCENZI, AURI M. R. ; Delamaro, M; Höhn, E; Maldonado, JC;
PUBLISHED: 2010, SOURCE: TESTING TECHNIQUES IN SOFTWARE ENGINEERING, VOLUME: 6153, PAGES: 18-+
3659
TITLE: FUZZY Q-LEARNING APPROACH TO SIMULATE INTELLIGENT TRAFFIC CONTROL
AUTHORS: Juan C Pacheco; Rosaldo J F Rossetti ; Cesar H Rodriguez;
PUBLISHED: 2010, SOURCE: 8th International Industrial Simulation Conference in 8TH INTERNATIONAL INDUSTRIAL SIMULATION CONFERENCE 2010, ISC 2010, PAGES: 257-261
3660
TITLE: Gender Differences in Internet Usage Habits: A Case Study in Higher Education
AUTHORS: Babo, R; Lopes, CT ; Rodrigues, AC; Pinto, M; Queiros, R ; de Oliveira, PC;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 1-2, VOLUME: 1, PAGES: 385-396

Results per Page: 20.
Page 183 of 232. Total results: 4625.