Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
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
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
An On-line system for automated recognition of human activities
2013 Alessandro Fantechi; Chris D. Nugent; Alessandro Pinzuti; Enrico Vicario; Tommaso Magherini
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 |
---|---|---|---|
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 | |
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 | |
An On-line system for automated recognition of human activities | 2013 | Alessandro Fantechi; Chris D. Nugent; Alessandro Pinzuti; Enrico Vicario; Tommaso Magherini | |
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 |
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile