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

AuthID: I-000-0K9


Publications Count: 3967

49 Team Members
Filters -> Year: 2025
1481
TITLE: An Incremental Approach to Testing AOP
AUTHORS: André Restivo ; Ademar Aguiar ; Ana Moreira;
PUBLISHED: 2017, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in SOFTWARE TECHNOLOGIES, VOLUME: 743, PAGES: 309-331
1482
TITLE: Analysis of Data Science Tools for Sensor-Based Assessment of Quality of Life in Health Care
AUTHORS: Urbano, J; Nogueira, P; Rocha, AP ; Cardoso, HL ;
PUBLISHED: 2017, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 569, PAGES: 446-455
1484
TITLE: Arbitrated Ensemble for Solar Radiation Forecasting
AUTHORS: Vitor Cerqueira ; Luis Torgo ; Carlos Soares ;
PUBLISHED: 2017, SOURCE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT I, VOLUME: 10305, PAGES: 720-732
1485
TITLE: Arbitrated Ensemble for Time Series Forecasting
AUTHORS: Vitor Cerqueira ; Luis Torgo ; Faboi Pinto; Carlos Soares ;
PUBLISHED: 2017, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2017, PT II, VOLUME: 10535, PAGES: 478-494
1486
TITLE: Argumentation in the Re-accommodation of Airline Passengers Using Mobile Devices
AUTHORS: Jorge Lima; Ana Paula Rocha ; António J M Castro ;
PUBLISHED: 2017, SOURCE: 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017 in Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings, VOLUME: 722, PAGES: 16-27
1487
TITLE: As Secure as Possible Eventual Consistency. Work in Progress
AUTHORS: Ali Shoker ; Houssam Yactine ; 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: 5:1-5:5
1488
TITLE: Audio Guides and Human Tour Guides: Measuring Children's Engagement & Learning at a Museum Setting
AUTHORS: Vanessa Cesário; António Coelho ; Valentina Nisi;
PUBLISHED: 2017, SOURCE: Proceedings of the Doctoral Consortium, Posters and Demos at CHItaly 2017 co-located with 12th Biannual Conference of the Italian SIGCHI Chapter (CHItaly 2017), Cagliari, Italy, September 18-20, 2017., VOLUME: 1910, PAGES: 133-137
1489
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
1490
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
1491
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
1492
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
1493
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
1495
1496
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
1497
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
1498
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
1499
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
1500
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

Results per Page: 20.
Page 75 of 199. Total results: 3967.