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

AuthID: I-000-0K9


Publications Count: 4625

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

Results per Page: 20.
Página 183 de 232. Total de resultados: 4625.