MAGHERINI, TOMMASO
MAGHERINI, TOMMASO
Ingegneria dell'Informazione
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.014 secondi).
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
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 |