Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores
AuthID: I-000-18J Publications Count: 2912
85 Team MembersFilters -> Year: 2025
721
TITLE: Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020, SOURCE: WorldCIST (3), VOLUME: 1161
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020, SOURCE: WorldCIST (3), VOLUME: 1161
722
TITLE: Underground Train Tracking using Mobile Phone Accelerometer Data
AUTHORS: Baghoussi, Y; Mendes Moreira, J ; Moniz, N ; Soares, C ;
PUBLISHED: 2020, SOURCE: 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2020 IEEE 23RD INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1-6
AUTHORS: Baghoussi, Y; Mendes Moreira, J ; Moniz, N ; Soares, C ;
PUBLISHED: 2020, SOURCE: 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2020 IEEE 23RD INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1-6
723
TITLE: Using Property-Based Testing to Generate Feedback for C Programming Exercises
AUTHORS: Pedro B Vasconcelos ; Rita P Ribeiro ;
PUBLISHED: 2020, SOURCE: 1st International Computer Programming Education Conference, ICPEC 2020 in First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)., VOLUME: 81, PAGES: 28:1-28:10
AUTHORS: Pedro B Vasconcelos ; Rita P Ribeiro ;
PUBLISHED: 2020, SOURCE: 1st International Computer Programming Education Conference, ICPEC 2020 in First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)., VOLUME: 81, PAGES: 28:1-28:10
724
TITLE: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTHORS: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V, VOLUME: 12141, PAGES: 357-370
AUTHORS: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part V, VOLUME: 12141, PAGES: 357-370
725
TITLE: Visual sketching. from image sketches to code
AUTHORS: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLISHED: 2020, SOURCE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
AUTHORS: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLISHED: 2020, SOURCE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
726
TITLE: Visual Sketching: From Image Sketches to Code
AUTHORS: d'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) in 2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), PAGES: 101-104
AUTHORS: d'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) in 2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), PAGES: 101-104
727
TITLE: Visual sketching: From image sketches to code
AUTHORS: D'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020 in Proceedings - International Conference on Software Engineering, PAGES: 101-104
AUTHORS: D'Amorim, M; Abreu, R ; Mello, C;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020 in Proceedings - International Conference on Software Engineering, PAGES: 101-104
728
TITLE: Welcome Message
AUTHORS: Nuno Lau; Manuel F Silva ; Luís Paulo Reis ; José Cascalho ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2020
AUTHORS: Nuno Lau; Manuel F Silva ; Luís Paulo Reis ; José Cascalho ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2020
729
TITLE: Who, why and how: stakeholder attitudes toward marine non-indigenous species management in Portuguese Atlantic Islands
AUTHORS: Parretti, P; Canning Clode, J; Mendes, AB ; Costa, AC ;
PUBLISHED: 2020, SOURCE: OCEAN & COASTAL MANAGEMENT, VOLUME: 188, PAGES: 105069
AUTHORS: Parretti, P; Canning Clode, J; Mendes, AB ; Costa, AC ;
PUBLISHED: 2020, SOURCE: OCEAN & COASTAL MANAGEMENT, VOLUME: 188, PAGES: 105069
730
TITLE: Workflow scheduling with Amazon EC2 spot instances: Building reliable compute environments
AUTHORS: Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: International Journal of Machine Learning and Computing, VOLUME: 10, ISSUE: 1, PAGES: 140-147
AUTHORS: Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: International Journal of Machine Learning and Computing, VOLUME: 10, ISSUE: 1, PAGES: 140-147
731
TITLE: Workshop on Machine Learning in Smart Mobility
AUTHORS: Sara Ferreira ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II, VOLUME: 12490, PAGES: 573-574
AUTHORS: Sara Ferreira ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II, VOLUME: 12490, PAGES: 573-574
732
TITLE: 2019 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2019, Porto, Portugal, April 24-26, 2019
AUTHORS: Luís Almeida ; Luís Paulo Reis ; António Paulo Moreira ;
PUBLISHED: 2019, SOURCE: ICARSC
AUTHORS: Luís Almeida ; Luís Paulo Reis ; António Paulo Moreira ;
PUBLISHED: 2019, SOURCE: ICARSC
733
TITLE: A Comparative Analysis of Unsupervised Language Adaptation Methods
AUTHORS: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: Proceedings of the 2nd Workshop on Deep Learning Approaches for Low-Resource NLP, DeepLo@EMNLP-IJCNLP 2019, Hong Kong, China, November 3, 2019, PAGES: 11-21
AUTHORS: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: Proceedings of the 2nd Workshop on Deep Learning Approaches for Low-Resource NLP, DeepLo@EMNLP-IJCNLP 2019, Hong Kong, China, November 3, 2019, PAGES: 11-21
734
TITLE: A framework for automatic and parameterizable memoization
AUTHORS: Loic Besnard; Pedro Pinto; Imane Lasri; Joao Bispo ; Erven Rohou; Joao M P Cardoso ;
PUBLISHED: 2019, SOURCE: SOFTWAREX, VOLUME: 10, PAGES: 100322
AUTHORS: Loic Besnard; Pedro Pinto; Imane Lasri; Joao Bispo ; Erven Rohou; Joao M P Cardoso ;
PUBLISHED: 2019, SOURCE: SOFTWAREX, VOLUME: 10, PAGES: 100322
735
TITLE: A Framework for Self-Regulated Project-Based Learning in Higher Education
AUTHORS: Mohamed Yassine Zarouk; Francisco Restivo ; Mohamed Khaldi;
PUBLISHED: 2019, SOURCE: Educational and Social Dimensions of Digital Transformation in Organizations - Advances in Educational Technologies and Instructional Design, PAGES: 218-273
AUTHORS: Mohamed Yassine Zarouk; Francisco Restivo ; Mohamed Khaldi;
PUBLISHED: 2019, SOURCE: Educational and Social Dimensions of Digital Transformation in Organizations - Advances in Educational Technologies and Instructional Design, PAGES: 218-273
736
TITLE: A Quantitative Understanding of Pattern Matching
AUTHORS: Sandra Alves ; Delia Kesner; Daniel Ventura;
PUBLISHED: 2019, SOURCE: 25th International Conference on Types for Proofs and Programs, TYPES 2019 in 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway., VOLUME: 175, PAGES: 3:1-3:36
AUTHORS: Sandra Alves ; Delia Kesner; Daniel Ventura;
PUBLISHED: 2019, SOURCE: 25th International Conference on Types for Proofs and Programs, TYPES 2019 in 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway., VOLUME: 175, PAGES: 3:1-3:36
737
TITLE: A survey on blockchain technologies and research
AUTHORS: Tavares, B ; Correia, FF ; André Restivo ;
PUBLISHED: 2019, SOURCE: JOURNAL OF INFORMATION ASSURANCE AND SECURITY, VOLUME: 14, ISSUE: 4, PAGES: 118-128
AUTHORS: Tavares, B ; Correia, FF ; André Restivo ;
PUBLISHED: 2019, SOURCE: JOURNAL OF INFORMATION ASSURANCE AND SECURITY, VOLUME: 14, ISSUE: 4, PAGES: 118-128
738
TITLE: A Survey on Using Kolmogorov Complexity in Cybersecurity
AUTHORS: Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: ENTROPY, VOLUME: 21, ISSUE: 12, PAGES: 1196
AUTHORS: Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: ENTROPY, VOLUME: 21, ISSUE: 12, PAGES: 1196
739
TITLE: A Three-Valued Semantics for Typed Logic Programming
AUTHORS: João Barbosa ; Mário Florido ; Vítor Santos Costa ;
PUBLISHED: 2019, SOURCE: 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 in Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019., VOLUME: 306, PAGES: 36-51
AUTHORS: João Barbosa ; Mário Florido ; Vítor Santos Costa ;
PUBLISHED: 2019, SOURCE: 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 in Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019., VOLUME: 306, PAGES: 36-51
740
TITLE: A Visual Analytics Approach for Effective Radon Risk Perception in the IoT Era
AUTHORS: LOPES, S. I. ; Sanne Bogers; Pedro Miguel Moreira ; António Curado;
PUBLISHED: 2019, SOURCE: 5th EAI International Smart City 360 Summit, 2019 in Science and Technologies for Smart Cities - 5th EAI International Summit, SmartCity360°, Braga, Portugal, December 4-6, 2019, Proceedings, VOLUME: 323, PAGES: 90-101
AUTHORS: LOPES, S. I. ; Sanne Bogers; Pedro Miguel Moreira ; António Curado;
PUBLISHED: 2019, SOURCE: 5th EAI International Smart City 360 Summit, 2019 in Science and Technologies for Smart Cities - 5th EAI International Summit, SmartCity360°, Braga, Portugal, December 4-6, 2019, Proceedings, VOLUME: 323, PAGES: 90-101