Login

In Proceedings

Exploring Emotions: Study of Five Design Workshops for Generating Ideas for Emotional Self-report Interfaces

InProceedings

Published in 25/08/2023

Authors

Carla Nave, Francisco Nunes, Teresa Romão, Nuno Correia,

Sample-Based Human Movement Detection for Interactive Videos Applied to Performing Arts

InProceedings

Published in 25/08/2023

Authors

Rui Rodrigues, Joao Diogo, Stephan Jurgens, Carla Fernandes, Nuno Correia,

Co-designing an eHealth Solution to Support Fibromyalgia Self-Management

InProceedings

Published in 25/08/2023

Authors

Pedro Albuquerque Santos, Rui Neves Madeira, Hugo Ferreira, Carmen Caeiro,

Learning to Ask Questions for Zero-shot Dialogue State Tracking

InProceedings

Published in 18/07/2023

Authors

Diogo Tavares, David Semedo, Alexander Rudnicky, João Magalhães,

System of Spheres-based Two Level Credibility-limited Revisions

InProceedings

Published in 18/07/2023

Authors

Marco Garapa, Eduardo Fermé, Maurício Reis,

On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper)

InProceedings

Published in 11/07/2023

Authors

Joao Mota, Marco Giunti, António Ravara,

VeriFx: Correct Replicated Data Types for the Masses

InProceedings

Published in 11/07/2023

Authors

Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix ,

Hoogle*: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution

InProceedings

Published in 11/07/2023

Authors

Henrique Botelho Guerra, João F. Ferreira, João Costa Seco,

Improving LocalMaxs Multiword Expression Statistical Extractor

InProceedings

Published in 03/07/2023

Authors

Joaquim Ferreira da Silva, José Cardoso e Cunha,

Multimodal Emotion Classification Supported in the Aggregation of Pre-trained Classification Models

InProceedings

Published in 26/06/2023

Authors

Pedro Cardoso, João M F Rodrigues, Rui Novais,