activity
20122026
most citedOn When and How to use SAT to Mine Frequent Itemsets

12 citations · 18 across the 5 of their papers we have counts for

collaborators

5 papers

cs.CV2026

Can Vision Language Models Judge Action Quality? An Empirical Evaluation

Miguel Monte e Freitas, Rui Henriques, Ricardo Rei +1

Action Quality Assessment (AQA) has broad applications in physical therapy, sports coaching, and competitive judging. Although Vision Language Models (VLMs) hold considerable promi…

cs.AI2026

Optimizing Donor Outreach for Blood Collection Sessions: A Scalable Decision Support Framework

André Carneiro, Pedro T. Monteiro, Rui Henriques

Blood donation centers face challenges in matching supply with demand while managing donor availability. Although targeted outreach is important, it can cause donor fatigue via ove…

cs.LG2022★ 1 cited

On the Role of Multi-Objective Optimization to the Transit Network Design Problem

Vasco D. Silva, Anna Finamore, Rui Henriques

Ongoing traffic changes, including those triggered by the COVID-19 pandemic, reveal the necessity to adapt our public transport systems to the ever-changing users' needs. This work…

cs.LG2021★ 5 cited

Context-aware demand prediction in bike sharing systems: incorporating spatial, meteorological and calendrical context

Cláudio Sardinha, Anna C. Finamore, Rui Henriques

Bike sharing demand is increasing in large cities worldwide. The proper functioning of bike-sharing systems is, nevertheless, dependent on a balanced geographical distribution of b…

cs.AI2012★ 12 cited

On When and How to use SAT to Mine Frequent Itemsets

Rui Henriques, Inês Lynce, Vasco Manquinho

A new stream of research was born in the last decade with the goal of mining itemsets of interest using Constraint Programming (CP). This has promoted a natural way to combine comp…