MAGHERINI, TOMMASO

MAGHERINI, TOMMASO  

Ingegneria dell'Informazione  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.014 secondi).
Titolo Data di pubblicazione Autore(i) File
An On-line system for automated recognition of human activities 2013 Alessandro Fantechi; Chris D. Nugent; Alessandro Pinzuti; Enrico Vicario; Tommaso Magherini
Annotating sensor data to detect activities of daily living 2011 M. P. Donnelly; T. Magherini; C. D. Nugent; F. Cruciani; C. Paggetti;
Monitoring of ADLs in sensorized environments using an on-line Model Checker 2012 T. Magherini; A. Fantechi; C.D. Nugent; A. Pinzuti; E. Vicario
Temporal Logic Bounded Model-Checking for Recognition of Activities of Daily Living 2010 T. Magherini; G. Parente; C.D. Nugent; M.P. Donnelly; E. Vicario; F. Cruciani; C. Paggetti
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living 2013 Tommaso Magherini;Alessandro Fantechi;Chris D. Nugent;Enrico Vicario