Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 5 di 5
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