IN PROCEEDINGS

A Performance Measurement Platform for C-ITS over 5G

Authors: António Serrador, Carlos Mendes, Nuno Datia, Nuno Cota, Nuno Cruz, Ana Rita Beire

Java Typestate Checker

Authors: João Mota, Marco Giunti, António Ravara

A Model for Predicting n-gram Frequency Distribution in Large Corpora

Authors: Joaquim Ferreira da Silva, José Cardoso e Cunha

Tractable Reasoning Using Logic Programs with Intensional Concepts

Authors: Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite

On Syntactic Forgetting Under Uniform Equivalence

Authors: Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite

Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks

Authors: João Ferreira, Diogo Lavado, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite

Impact of Segmentation and Color Spaces in 6D Pose Estimation

Authors: Nuno Pereira, Luís A Alexandre

A Time-Segmented Consortium Blockchain for Robotic Event Registration

Authors: Vasco Lopes, Miguel Fernandes, Nuno Pereira, Luís A Alexandre

Dynamic Task Allocation for Robotic Network Cloud Systems

Authors: Saeid Alirezazadeh, Luís A Alexandre

MaskedFusion: Mask-based 6D Object Pose Estimation

Authors: Nuno Pereira, Luís A Alexandre

RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios

Authors: António Teófilo, Hervé Paulino, João Lourenço

Mediating Artificial Intelligence Developments through Negative and Positive Incentives

Authors: Han The Anh, Luís Moniz Pereira, Tom Lenaerts, Francisco Santos