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
441
TITLE: A Binary Translation Framework for Automated Hardware Generation
AUTHORS: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: IEEE MICRO, VOLUME: 41, ISSUE: 4, PAGES: 15-22
AUTHORS: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: IEEE MICRO, VOLUME: 41, ISSUE: 4, PAGES: 15-22
442
TITLE: A Chatbot for Recipe Recommendation and Preference Modeling
AUTHORS: Samagaio, Alvaro Mendes; Cardoso, Henrique Lopes ; Ribeiro, David;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 389-402
AUTHORS: Samagaio, Alvaro Mendes; Cardoso, Henrique Lopes ; Ribeiro, David;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 389-402
443
TITLE: A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities
AUTHORS: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLISHED: 2021, SOURCE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October, PAGES: 196-207
AUTHORS: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLISHED: 2021, SOURCE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October, PAGES: 196-207
444
TITLE: A CPG-Based Agile and Versatile Locomotion Framework Using Proximal Symmetry Loss
AUTHORS: Mohammadreza Kasaei; Miguel Abreu; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.00928
AUTHORS: Mohammadreza Kasaei; Miguel Abreu; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.00928
445
TITLE: A Data-Driven Simulator for Assessing Decision-Making in Soccer
AUTHORS: Mendes Neves, Tiago ; Mendes Moreira, Joao ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 687-698
AUTHORS: Mendes Neves, Tiago ; Mendes Moreira, Joao ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 687-698
446
TITLE: A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations
AUTHORS: Sandra Alves ; Jorge Iglésias;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2111.00588
AUTHORS: Sandra Alves ; Jorge Iglésias;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2111.00588
447
TITLE: A Kolmogorov Complexity for multidisciplinary domains
AUTHORS: João S. Resende ; Marco Almeida; Rolando Martins ; Luís Antunes ;
PUBLISHED: 2021, SOURCE: Proceedings of Entropy 2021: The Scientific Tool of the 21st Century
AUTHORS: João S. Resende ; Marco Almeida; Rolando Martins ; Luís Antunes ;
PUBLISHED: 2021, SOURCE: Proceedings of Entropy 2021: The Scientific Tool of the 21st Century
448
TITLE: A methodology and framework for software memoization of functions
AUTHORS: Pedro Pinto ; João M P Cardoso ;
PUBLISHED: 2021, SOURCE: 18th ACM International Conference on Computing Frontiers 2021, CF 2021 in CF '21: Computing Frontiers Conference, Virtual Event, Italy, May 11-13, 2021, PAGES: 93-101
AUTHORS: Pedro Pinto ; João M P Cardoso ;
PUBLISHED: 2021, SOURCE: 18th ACM International Conference on Computing Frontiers 2021, CF 2021 in CF '21: Computing Frontiers Conference, Virtual Event, Italy, May 11-13, 2021, PAGES: 93-101
449
TITLE: A QUBO Model to the Tail Assignment Problem
AUTHORS: Martins, LN; Rocha, AP ; Castro, AJM ;
PUBLISHED: 2021, SOURCE: 13th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2, VOLUME: 2, PAGES: 899-906
AUTHORS: Martins, LN; Rocha, AP ; Castro, AJM ;
PUBLISHED: 2021, SOURCE: 13th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2, VOLUME: 2, PAGES: 899-906
450
TITLE: A Resource-Based Model for Home Energy Management Using Multi-Agent Systems
AUTHORS: Martins, Sofia; Rossetti, Rosaldo J. F. ; Kokkinogenis, Zafeiris ;
PUBLISHED: 2021, SOURCE: IEEE International Smart Cities Conference (ISC2) in 2021 IEEE INTERNATIONAL SMART CITIES CONFERENCE (ISC2), PAGES: 1-4
AUTHORS: Martins, Sofia; Rossetti, Rosaldo J. F. ; Kokkinogenis, Zafeiris ;
PUBLISHED: 2021, SOURCE: IEEE International Smart Cities Conference (ISC2) in 2021 IEEE INTERNATIONAL SMART CITIES CONFERENCE (ISC2), PAGES: 1-4
451
TITLE: A Review on Visual Programming for Distributed Computation in IoT
AUTHORS: Margarida Silva; João Pedro Dias ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2021, SOURCE: Computational Science - ICCS 2021 - 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part IV, VOLUME: 12745, PAGES: 443-457
AUTHORS: Margarida Silva; João Pedro Dias ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2021, SOURCE: Computational Science - ICCS 2021 - 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part IV, VOLUME: 12745, PAGES: 443-457
452
TITLE: A Study in Search Pattern Efficiency Using Under-Actuated Aircraft
AUTHORS: Tiago Carvalho; Leonardo Ferreira; Daniel Castro Silva ;
PUBLISHED: 2021, SOURCE: International Journal of Engineering and Technology, VOLUME: 13, ISSUE: 3, PAGES: 24-30
AUTHORS: Tiago Carvalho; Leonardo Ferreira; Daniel Castro Silva ;
PUBLISHED: 2021, SOURCE: International Journal of Engineering and Technology, VOLUME: 13, ISSUE: 3, PAGES: 24-30
453
TITLE: A Theoretical and Empirical Analysis of Program Spectra Diagnosability
AUTHORS: Perez, A; Abreu, R ; Van Deursen, A;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 47, ISSUE: 2, PAGES: 412-431
AUTHORS: Perez, A; Abreu, R ; Van Deursen, A;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 47, ISSUE: 2, PAGES: 412-431
454
TITLE: Acceptance Decision Prediction in Peer-Review Through Sentiment Analysis
AUTHORS: Ribeiro, Ana Carolina ; Sizo, Amanda; Cardoso, Henrique Lopes ; Reis, Luis Paulo ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 766-777
AUTHORS: Ribeiro, Ana Carolina ; Sizo, Amanda; Cardoso, Henrique Lopes ; Reis, Luis Paulo ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 766-777
455
TITLE: Agents and Artificial Intelligence. 12th International Conference, ICAART 2020, Valletta, Malta, February 22–24, 2020, Revised Selected Papers
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van den Herik;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van den Herik;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
456
TITLE: Agents and Artificial Intelligence, 12th International Conference, ICAART 2020, Valletta, Malta, February 22-24, 2020, Revised Selected Papers
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2021, SOURCE: ICAART (Revised Selected Papers), VOLUME: 12613
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2021, SOURCE: ICAART (Revised Selected Papers), VOLUME: 12613
457
TITLE: An Efficient Monte Carlo-Based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System
AUTHORS: Vitali, E; Gadioli, D; Palermo, G; Golasowski, M; Bispo, J ; Pinto, P; Martinovic, J; Slaninova, K; Cardoso, JMP ; Silvano, C;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, VOLUME: 9, ISSUE: 2, PAGES: 1006-1019
AUTHORS: Vitali, E; Gadioli, D; Palermo, G; Golasowski, M; Bispo, J ; Pinto, P; Martinovic, J; Slaninova, K; Cardoso, JMP ; Silvano, C;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, VOLUME: 9, ISSUE: 2, PAGES: 1006-1019
458
TITLE: An ensemble of autonomous auto-encoders for human activity recognition
AUTHORS: Garcia, KD; de Sa, CR; Poel, M; Carvalho, T ; Mendes Moreira, J ; Cardoso, JMP ; de Carvalho, ACPLF; Kok, JN;
PUBLISHED: 2021, SOURCE: NEUROCOMPUTING, VOLUME: 439, PAGES: 271-280
AUTHORS: Garcia, KD; de Sa, CR; Poel, M; Carvalho, T ; Mendes Moreira, J ; Cardoso, JMP ; de Carvalho, ACPLF; Kok, JN;
PUBLISHED: 2021, SOURCE: NEUROCOMPUTING, VOLUME: 439, PAGES: 271-280
459
TITLE: An ML-style Record Calculus with Extensible Records
AUTHORS: Alves, S ; Ramos, M ;
PUBLISHED: 2021, SOURCE: 37th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2021 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 351, PAGES: 1-17
AUTHORS: Alves, S ; Ramos, M ;
PUBLISHED: 2021, SOURCE: 37th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2021 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 351, PAGES: 1-17
460
TITLE: AOCO - A Tool to Improve the Teaching of the ARM Assembly Language in Higher Education
AUTHORS: Damas, J; Lima, B ; Araujo, AJ ;
PUBLISHED: 2021, SOURCE: 30th Annual Conference of the European-Association-for-Education-in-Electrical-and-Information-Engineering (EAEEIE) in PROCEEDINGS OF THE 2021 30TH ANNUAL CONFERENCE OF THE EUROPEAN ASSOCIATION FOR EDUCATION IN ELECTRICAL AND INFORMATION ENGINEERING (EAEEIE), PAGES: 162-167
AUTHORS: Damas, J; Lima, B ; Araujo, AJ ;
PUBLISHED: 2021, SOURCE: 30th Annual Conference of the European-Association-for-Education-in-Electrical-and-Information-Engineering (EAEEIE) in PROCEEDINGS OF THE 2021 30TH ANNUAL CONFERENCE OF THE EUROPEAN ASSOCIATION FOR EDUCATION IN ELECTRICAL AND INFORMATION ENGINEERING (EAEEIE), PAGES: 162-167