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

AuthID: I-000-0K9


Publications Count: 4482

56 Team Members
Filters -> Year: 2025
1901
TÍTULO: autoBagging: Learning to Rank Bagging Workflows with Metalearning
AUTORES: Fábio Pinto; Vítor Cerqueira ; Carlos Soares ; João Mendes Moreira ;
PUBLICAÇÃO: 2017, FONTE: 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, PÁGINAS: 21-27
1902
TÍTULO: AUTOMATIC MUSICAL KEY ESTIMATION WITH ADAPTIVE MODE BIAS
AUTORES: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLICAÇÃO: 2017, FONTE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), PÁGINAS: 316-320
1903
TÍTULO: Autonomous Interactive Object Manipulation and Navigation Capabilities for an Intelligent Wheelchair
AUTORES: Nima Shafii; Farias, PCMA; Ivo Sousa; Heber Sobreira ; Luis Paulo Reis ; Antonio Paulo Moreira ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PÁGINAS: 473-485
1904
TÍTULO: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTORES: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLICAÇÃO: 2017, FONTE: 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), PÁGINAS: 4:1-4:3
1905
1906
TÍTULO: Cargo dynamic stability in the container loading problem - a physics simulation tool approach
AUTORES: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Miguel M Gomes ;
PUBLICAÇÃO: 2017, FONTE: Int. J. Simul. Process. Model., VOLUME: 12, NÚMERO: 1, PÁGINAS: 29-41
1907
TÍTULO: Certified Password Quality
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science - Integrated Formal Methods, PÁGINAS: 407-421
1908
TÍTULO: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: 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, PÁGINAS: 407-421
1909
TÍTULO: Characterizing Geo-located Tweets in Brazilian Megacities
AUTORES: Pereira, J; Pasquali, A; Saleiro, P; Rossetti, R ; Cacho, N;
PUBLICAÇÃO: 2017, FONTE: 2017 International Smart Cities Conference, ISC2 2017 in 2017 INTERNATIONAL SMART CITIES CONFERENCE (ISC2), VOLUME: abs/1709.01981
1910
TÍTULO: ClueKing: Allowing Parents to Customize an Informal Learning Environment for Children
AUTORES: Vanessa Cesario; Valentina Nisi ; Antonio Coelho ;
PUBLICAÇÃO: 2017, FONTE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PÁGINAS: 23-30
1911
TÍTULO: Co-expression networks between protein encoding mitochondrial genes and all the remaining genes in human tissues
AUTORES: Joao Almeida; Joana Ferreira; Rui Camacho ; Luisa Pereira;
PUBLICAÇÃO: 2017, FONTE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PÁGINAS: 70-73
1912
TÍTULO: Code retargeting for CPU-based platforms
AUTORES: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLICAÇÃO: 2017, FONTE: Embedded Computing for High Performance, PÁGINAS: 185-225
1913
TÍTULO: Collaborative economy for testing cost reduction on Android ecosystem
AUTORES: Kenyo Abadio Crosara Faria; Eduardo Noronha de Andrade Freitas; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing, A-TEST@ESEC/SIGSOFT FSE 2017, Paderborn, Germany, September 4-5, 2017, PÁGINAS: 11-18
1914
TÍTULO: Combining Ranking with Traditional Methods for Ordinal Class Imbalance
AUTORES: Cruz, R ; Fernandes, K ; Costa, JFP ; Ortiz, MP; Cardoso, JS ;
PUBLICAÇÃO: 2017, FONTE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II, VOLUME: 10306, PÁGINAS: 538-548
1915
TÍTULO: Command and Control Systems for Search and Rescue Robots
AUTORES: 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;
PUBLICAÇÃO: 2017, FONTE: Search and Rescue Robotics - From Theory to Practice
1916
TÍTULO: Compact Resettable Counters through Causal Stability
AUTORES: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: 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), PÁGINAS: 2:1-2:3
1917
TÍTULO: Compiler Techniques for Efficient MATLAB to OpenCL Code Generation
AUTORES: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: 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, PÁGINAS: 29:1-29:2
1918
TÍTULO: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTORES: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, NÚMERO: 123
1919
TÍTULO: Computational Models for Social and Technical Interactions
AUTORES: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2017, FONTE: NEW GENERATION COMPUTING, VOLUME: 35, NÚMERO: 4, PÁGINAS: 307-310
1920

Results per Page: 20.
Página 96 de 225. Total de resultados: 4482.