2 papers
cs.LO2025
A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
Ricardo Contreras, Filip Smola, NuÅ¡a FariÄ +3
There is an imperative need to provide quality of life to a growing population of older adults living independently. Personalised solutions that focus on the person and take into c…
cs.AI2024
Process-aware Human Activity Recognition
Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot +1
Humans naturally follow distinct patterns when conducting their daily activities, which are driven by established practices and processes, such as production workflows, social norm…