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

AuthID: I-000-0K9


Publications Count: 4649

62 Team Members
Filters -> Year: 2026
3681
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
3682
TITLE: Frontiers in Artificial Intelligence and Applications: Preface
AUTHORS: Soares, C ; Ghani, R;
PUBLISHED: 2010, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 218
3683
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-+
3684
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
3685
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
3686
TITLE: Genetic Algorithm with Local Search for Community Mining in Complex Networks
AUTHORS: Jin, D; He, DX; Liu, DY; Baquero, C ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PAGES: 105-112
3687
TITLE: Hábitos de utilização da internet nos alunos do ensino superior: caso de estudo
AUTHORS: Ana C Rodrigues; Mário Pinto; Ricardo Queirós ; Rosalina Babo; Carla T Lopes ; Paulo C d Oliveira;
PUBLISHED: 2010, SOURCE: Recursos humanos: das teorias às boas práticas: os artigos de investigação e intervenção
3688
TITLE: High performance architectures and compilers
AUTHORS: Diniz, PC ; Danelutto, M; Barthou, D; Gonzales, M; Hübner, M;
PUBLISHED: 2010, SOURCE: 16th International Euro-Par Conference on Parallel Processing, Euro-Par 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6271 LNCS, ISSUE: PART 1, PAGES: 254-255
3689
TITLE: Human vs. Robotic Soccer: How Far Are They? A Statistical Comparison
AUTHORS: Pedro H Abreu ; Israel Costa; Daniel Castelão; Luís Paulo Reis ; Júlio Garganta ;
PUBLISHED: 2010, SOURCE: RoboCup, VOLUME: 6556 LNAI, PAGES: 242-253
3690
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
3691
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
3692
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
3693
3694
TITLE: Increasing system availability with local recovery based on fault localization
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
3695
TITLE: Inductive Transfer
AUTHORS: Ricardo Vilalta; Christophe G Giraud Carrier; Pavel Brazdil ; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 545-548
3696
3697
TITLE: Integration of Domain and Social Ontologies in a CMS Based Collaborative Platform
AUTHORS: Carneiro, LC; Sousa, C ; Soares, AL ;
PUBLISHED: 2010, SOURCE: Confederated International Workshops and Posters: AVYTAT, ADI, DATAVIEW, EI2N, ISDE MONET, OnToContent, ORM, P2P-CDVE SeDeS, SWWS and OTMA in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010 WORKSHOPS, VOLUME: 6428, PAGES: 414-423
3698
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-+
3699
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
3700
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-+

Results per Page: 20.
Page 185 of 233. Total results: 4649.