Login

in_proceedings

Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers

InProceedings

Published in 05/09/2022

Authors

André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira,

Towards Provenance in Heterogeneous Knowledge Bases

InProceedings

Published in 29/08/2022

Authors

Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite,

Looking Inside the Black-Box: Logic-based Explanations for Neural Networks

InProceedings

Published in 05/08/2022

Authors

Joao Ferreira, Manuel Ribeiro, Ricardo Gonçalves, João Leite,

Engage: Session Guarantees for the Edge

InProceedings

Published in 28/07/2022

Authors

Miguel Belém, Pedro Fouto, Taras Lykhenko, João Leitão, Nuno Preguiça, Luis Rodrigues,

European Union fosters ethical AI in the Public Administration

InProceedings

Published in 20/07/2022

Authors

Luís Moniz Pereira, A. C. Alexandre,

Efficient Guided Evolution for Neural Architecture Search

InProceedings

Published in 19/07/2022

Authors

Vasco Lopes, Miguel Santos, Bruno Degardin, Luís A Alexandre,

Traffic Flow Indicator: Predicting Jams in a City

InProceedings

Published in 19/07/2022

Authors

Nuno Datia, Matilde Pato, João Moura Pires,

Comparing Word Embeddings through Visualisation

InProceedings

Published in 19/07/2022

Authors

Pedro Santos, Nuno Datia, Matilde Pato,

Bicycle Demand Prediction to Optimize the Rebalancing of a Bike Sharing System in Lisbon

InProceedings

Published in 19/07/2022

Authors

Ana Sofia Afonso, João Moura Pires, Nuno Datia, Fernando Birra,

Network Diversity Promotes Safety Adoption in Swift Artificial Intelligence Development

InProceedings

Published in 18/07/2022

Authors

Luís Moniz Pereira, The Anh Han, Francisco Correia dos Santos, Theodor-Ioan Cimpeanu, Tom Lenaerts,