Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4441
56 Team MembersFilters -> Year: 2025
2301
TITLE: SSA-based MATLAB-to-C compilation and optimization
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2016, SOURCE: 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY 2016 in Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016, PAGES: 55-62
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2016, SOURCE: 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY 2016 in Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016, PAGES: 55-62
2302
TITLE: Supporting social skills rehabilitation with virtual storytelling
AUTHORS: Even, C; Bosser, AG; Ferreira, JF ; Buche, C; Stephan, F; Cavazza, M; Lisetti, C;
PUBLISHED: 2016, SOURCE: 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016 in Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, PAGES: 329-334
AUTHORS: Even, C; Bosser, AG; Ferreira, JF ; Buche, C; Stephan, F; Cavazza, M; Lisetti, C;
PUBLISHED: 2016, SOURCE: 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016 in Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, PAGES: 329-334
2303
TITLE: Systematic Functional Testing with Decision Table
AUTHORS: Arantes, GF; de Freitas, DM; Leitao, PS; VINCENZI, AURI M. R. ;
PUBLISHED: 2016, SOURCE: I BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST 2016), VOLUME: 19-23-September-2016, PAGES: 12:1-12:10
AUTHORS: Arantes, GF; de Freitas, DM; Leitao, PS; VINCENZI, AURI M. R. ;
PUBLISHED: 2016, SOURCE: I BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFTWARE TESTING (SAST 2016), VOLUME: 19-23-September-2016, PAGES: 12:1-12:10
2304
TITLE: Tackling Class Imbalance with Ranking
AUTHORS: Cruz, R ; Fernandes, K ; Cardoso, JS ; Costa, JFP ;
PUBLISHED: 2016, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2016 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2016-October, PAGES: 2182-2187
AUTHORS: Cruz, R ; Fernandes, K ; Cardoso, JS ; Costa, JFP ;
PUBLISHED: 2016, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2016 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2016-October, PAGES: 2182-2187
2305
TITLE: Testing Distributed and Heterogeneous Systems: State of the Practice
AUTHORS: Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2016, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, PAGES: 69-78
AUTHORS: Bruno Lima ; Joao Pascoal Faria ;
PUBLISHED: 2016, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, PAGES: 69-78
2306
TITLE: The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems
AUTHORS: Cristina Silvano; Giovanni Agosta; Stefano Cherubin; Davide Gadioli; Gianluca Palermo; Andrea Bartolini; Luca Benini; Jan Martinovic; Martin Palkovic; Katerina Slaninová; João Bispo ; João M P Cardoso ; Rui Abreu ; Pedro Pinto ; Carlo Cavazzoni; Nico Sanna; Andrea R Beccari; Radim Cmar; Erven Rohou;
PUBLISHED: 2016, SOURCE: ACM International Conference on Computing Frontiers, CF 2016 in Proceedings of the ACM International Conference on Computing Frontiers, CF'16, Como, Italy, May 16-19, 2016, PAGES: 288-293
AUTHORS: Cristina Silvano; Giovanni Agosta; Stefano Cherubin; Davide Gadioli; Gianluca Palermo; Andrea Bartolini; Luca Benini; Jan Martinovic; Martin Palkovic; Katerina Slaninová; João Bispo ; João M P Cardoso ; Rui Abreu ; Pedro Pinto ; Carlo Cavazzoni; Nico Sanna; Andrea R Beccari; Radim Cmar; Erven Rohou;
PUBLISHED: 2016, SOURCE: ACM International Conference on Computing Frontiers, CF 2016 in Proceedings of the ACM International Conference on Computing Frontiers, CF'16, Como, Italy, May 16-19, 2016, PAGES: 288-293
2307
TITLE: The Benefits of DOF Separation in Mid-air 3D Object Manipulation
AUTHORS: Mendes, D ; Relvas, F; Ferreira, A ; Jorge, J;
PUBLISHED: 2016, SOURCE: 22nd ACM Conference on Virtual Reality Software and Technology (VRST) in 22ND ACM CONFERENCE ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY (VRST 2016), VOLUME: 02-04-November-2016, PAGES: 261-268
AUTHORS: Mendes, D ; Relvas, F; Ferreira, A ; Jorge, J;
PUBLISHED: 2016, SOURCE: 22nd ACM Conference on Virtual Reality Software and Technology (VRST) in 22ND ACM CONFERENCE ON VIRTUAL REALITY SOFTWARE AND TECHNOLOGY (VRST 2016), VOLUME: 02-04-November-2016, PAGES: 261-268
2308
TITLE: The complementary aspect of automatically and manually generated test case sets
AUTHORS: VINCENZI, AURI M. R. ; Tiago Bachiega; Daniel G de Oliveira; Simone do Rócio Senger de Souza; José Carlos Maldonado;
PUBLISHED: 2016, SOURCE: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016, PAGES: 23-30
AUTHORS: VINCENZI, AURI M. R. ; Tiago Bachiega; Daniel G de Oliveira; Simone do Rócio Senger de Souza; José Carlos Maldonado;
PUBLISHED: 2016, SOURCE: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016, PAGES: 23-30
2309
TITLE: The Effectiveness of Query Expansion when searching for Health related Content: InfoLab at CLEF eHealth 2016
AUTHORS: Ricardo Silva; Carla Teixeira Lopes ;
PUBLISHED: 2016, SOURCE: 2016 Working Notes of Conference and Labs of the Evaluation Forum, CLEF 2016 in Working Notes of CLEF 2016 - Conference and Labs of the Evaluation forum, Évora, Portugal, 5-8 September, 2016., VOLUME: 1609, PAGES: 130-142
AUTHORS: Ricardo Silva; Carla Teixeira Lopes ;
PUBLISHED: 2016, SOURCE: 2016 Working Notes of Conference and Labs of the Evaluation Forum, CLEF 2016 in Working Notes of CLEF 2016 - Conference and Labs of the Evaluation forum, Évora, Portugal, 5-8 September, 2016., VOLUME: 1609, PAGES: 130-142
2310
TITLE: The influence of the Java collection framework on overall energy consumption
AUTHORS: Rui Pereira ; Marco Couto ; João Saraiva ; Jácome Cunha ; João Paulo Fernandes ;
PUBLISHED: 2016, SOURCE: 5th International Workshop on Green and Sustainable Software, GREENS 2016 - 38th International Conference on Software Engineering, ICSE 2016 in Proceedings of the 5th International Workshop on Green and Sustainable Software, GREENS@ICSE 2016, Austin, Texas, USA, May 16, 2016, PAGES: 15-21
AUTHORS: Rui Pereira ; Marco Couto ; João Saraiva ; Jácome Cunha ; João Paulo Fernandes ;
PUBLISHED: 2016, SOURCE: 5th International Workshop on Green and Sustainable Software, GREENS 2016 - 38th International Conference on Software Engineering, ICSE 2016 in Proceedings of the 5th International Workshop on Green and Sustainable Software, GREENS@ICSE 2016, Austin, Texas, USA, May 16, 2016, PAGES: 15-21
2311
TITLE: The problem with embedded CRDT counters and a solution
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Carl Lerche;
PUBLISHED: 2016, SOURCE: 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016, PAGES: 10:1-10:3
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Carl Lerche;
PUBLISHED: 2016, SOURCE: 2nd Workshop on the Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016, PAGES: 10:1-10:3
2312
TITLE: Three Dimensional Modelling of Porto's Network for Electric Mobility Simulation
AUTHORS: Diogo Santos; Jose Pinto; Rosaldo J F Rossetti ; Eugenio Oliveira ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
AUTHORS: Diogo Santos; Jose Pinto; Rosaldo J F Rossetti ; Eugenio Oliveira ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
2313
TITLE: Time, frequency & complexity analysis for recognizing panic states from physiologic time-series
AUTHORS: Jonathan Rubin; Rui Abreu ; Shane Ahern; Hoda Eldardiry; Daniel G Bobrow;
PUBLISHED: 2016, SOURCE: Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2016, Cancun, Mexico, May 16-20, 2016, VOLUME: 2016-May, PAGES: 81-88
AUTHORS: Jonathan Rubin; Rui Abreu ; Shane Ahern; Hoda Eldardiry; Daniel G Bobrow;
PUBLISHED: 2016, SOURCE: Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2016, Cancun, Mexico, May 16-20, 2016, VOLUME: 2016-May, PAGES: 81-88
2314
TITLE: Time-evolving O-D matrix estimation using high-speed GPS data streams
AUTHORS: Luis Moreira Matias ; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas;
PUBLISHED: 2016, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 44, PAGES: 275-288
AUTHORS: Luis Moreira Matias ; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas;
PUBLISHED: 2016, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 44, PAGES: 275-288
2315
TITLE: TimeMachine: Entity-Centric Search and Visualization of News Archives
AUTHORS: Saleiro, Pedro ; Jorge Teixeira; Carlos Soares ; Eugénio C Oliveira ;
PUBLISHED: 2016, SOURCE: 38th European Conference on Information Retrieval Research, ECIR 2016 in Advances in Information Retrieval - 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20-23, 2016. Proceedings, VOLUME: 9626, PAGES: 845-848
AUTHORS: Saleiro, Pedro ; Jorge Teixeira; Carlos Soares ; Eugénio C Oliveira ;
PUBLISHED: 2016, SOURCE: 38th European Conference on Information Retrieval Research, ECIR 2016 in Advances in Information Retrieval - 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20-23, 2016. Proceedings, VOLUME: 9626, PAGES: 845-848
2316
TITLE: Towards a Formal Validation of ETL Patterns Behaviour
AUTHORS: Bruno Oliveira ; Orlando Belo ; Nuno Macedo ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Model and Data Engineering (MEDI) in Model and Data Engineering, VOLUME: 9893, PAGES: 156-165
AUTHORS: Bruno Oliveira ; Orlando Belo ; Nuno Macedo ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Model and Data Engineering (MEDI) in Model and Data Engineering, VOLUME: 9893, PAGES: 156-165
2317
TITLE: Towards a Multi-softcore FPGA Approach for the HOG Algorithm
AUTHORS: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: 14th IEEE International Conference on Industrial Informatics (INDIN) in 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 117-122
AUTHORS: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLISHED: 2016, SOURCE: 14th IEEE International Conference on Industrial Informatics (INDIN) in 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 117-122
2318
TITLE: Towards an organization of computers for managing airline operations
AUTHORS: Castro, AJM ; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2016, SOURCE: 31st International Conference on Computers and Their Applications, CATA 2016 in Proceedings of the 31st International Conference on Computers and Their Applications, CATA 2016, PAGES: 239-244
AUTHORS: Castro, AJM ; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2016, SOURCE: 31st International Conference on Computers and Their Applications, CATA 2016 in Proceedings of the 31st International Conference on Computers and Their Applications, CATA 2016, PAGES: 239-244
2319
TITLE: Towards Automatic Generation of Metafeatures
AUTHORS: Fabio Pinto ; Carlos Soares ; Joao Mendes Moreira ;
PUBLISHED: 2016, SOURCE: 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, VOLUME: 9651, PAGES: 215-226
AUTHORS: Fabio Pinto ; Carlos Soares ; Joao Mendes Moreira ;
PUBLISHED: 2016, SOURCE: 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, VOLUME: 9651, PAGES: 215-226
2320
TITLE: Towards Quantifiable Eventual Consistency
AUTHORS: Francisco Maia ; Miguel Matos ; Fabio Coelho ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PAGES: 368-370
AUTHORS: Francisco Maia ; Miguel Matos ; Fabio Coelho ;
PUBLISHED: 2016, SOURCE: 6th International Conference on Cloud Computing and Services Science (CLOSER) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, VOL 1 (CLOSER), VOLUME: 1, PAGES: 368-370