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

AuthID: I-000-0K9


Publications Count: 3893

49 Team Members
Filters -> Year: 2024
1421
TITLE: autoBagging: Learning to Rank Bagging Workflows with Metalearning
AUTHORS: Fábio Pinto; Vítor Cerqueira ; Carlos Soares ; João Mendes Moreira ;
PUBLISHED: 2017, SOURCE: 2017 International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms, AutoML 2017 in Proceedings of the International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms co-located with the European Conference on Machine Learning & Principles and Practice of Knowledge Discovery in Databases, AutoML@PKDD/ECML 2017, Skopje, Macedonia, September 22, 2017., VOLUME: 1998, PAGES: 21-27
1422
TITLE: AUTOMATIC MUSICAL KEY ESTIMATION WITH ADAPTIVE MODE BIAS
AUTHORS: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), PAGES: 316-320
1423
TITLE: Automating the Extraction of Static Content and Dynamic Behaviour from e-Commerce Websites
AUTHORS: joao Pedro Dias ; Hugo Sereno Ferreira ;
PUBLISHED: 2017, SOURCE: 8th International Conference on Ambient Systems, Networks and Technologies (ANT) / 7th International Conference on Sustainable Energy Information Technology (SEIT) in 8TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2017) AND THE 7TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT 2017), VOLUME: 109, PAGES: 297-304
1424
TITLE: Autonomous Interactive Object Manipulation and Navigation Capabilities for an Intelligent Wheelchair
AUTHORS: Nima Shafii; Farias, PCMA; Ivo Sousa; Heber Sobreira ; Luis Paulo Reis ; Antonio Paulo Moreira ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 473-485
1425
TITLE: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 4:1-4:3
1426
1427
1428
TITLE: Certified Password Quality
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science - Integrated Formal Methods, PAGES: 407-421
1429
TITLE: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PAGES: 407-421
1430
TITLE: Characterizing geo-located tweets in brazilian megacities
AUTHORS: Pereira, J; Pasquali, A; Saleiro, P; Rossetti, R ; Cacho, N;
PUBLISHED: 2017, SOURCE: 2017 International Smart Cities Conference, ISC2 2017 in 2017 International Smart Cities Conference, ISC2 2017, VOLUME: abs/1709.01981
1431
TITLE: ClueKing: Allowing Parents to Customize an Informal Learning Environment for Children
AUTHORS: Vanessa Cesario; Valentina Nisi; Antonio Coelho ;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 23-30
1432
TITLE: Co-expression networks between protein encoding mitochondrial genes and all the remaining genes in human tissues
AUTHORS: Joao Almeida; Joana Ferreira; Rui Camacho ; Luisa Pereira;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PAGES: 70-73
1433
TITLE: Command and Control Systems for Search and Rescue Robots
AUTHORS: Shashank Govindaraj; Pierre Letier; Keshav Chintamani; Jeremi Gancet; Mario Nunez Jimenez; Miguel Ángel Esbrí; Pawel Musialik; Janusz Bedkowski; Irune Badiola; Ricardo Gonçalves; António Coelho ; Daniel Serrano; Massimo Tosa; Thomas Pfister; Jose Manuel Sanchez;
PUBLISHED: 2017, SOURCE: Search and Rescue Robotics - From Theory to Practice
1434
TITLE: Compact Resettable Counters through Causal Stability
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 2:1-2:3
1435
TITLE: Compiler Techniques for Efficient MATLAB to OpenCL Code Generation
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: 5th International Workshop on OpenCL, IWOCL 2017 in Proceedings of the 5th International Workshop on OpenCL, IWOCL 2017, Toronto, Canada, May 16-18, 2017, VOLUME: Part F127755, PAGES: 29:1-29:2
1436
TITLE: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Alcino Cunha ; Carla Ferreira ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
1437
TITLE: Computational Models for Social and Technical Interactions
AUTHORS: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLISHED: 2017, SOURCE: NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 307-310
1438
TITLE: Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2017, SOURCE: 12th International Conference on Software Technologies, ICSOFT 2017 in Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., PAGES: 459-466
1439
TITLE: Contextual Covariance Matrix Adaptation Evolutionary Strategies
AUTHORS: Abbas Abdolmaleki; Bob Price; Nuno Lau ; Luís Paulo Reis ; Gerhard Neumann;
PUBLISHED: 2017, SOURCE: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, PAGES: 1378-1385
1440
TITLE: Coordination, Organizations, Institutions, and Norms in Agent Systems XII
AUTHORS: Stephen Cranefield; Samhar Mahmoud; Julian Padget; Ana Paula Rocha ;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science

Results per Page: 20.
Page 72 of 195. Total results: 3893.