Magherini, Tommaso, Parente, Guido, Nugent, CD, Donnelly, Mark, Vicario, Enrico, Cruciani, Federico and Paggetti, Christiano (2010) Temporal Logic Bounded Model- Checking for Recognition of Activities of Daily Living. In: International Conference on Information Technology and Applications in Biomedicine. IEEE. 4 pp. [Conference contribution]
Full text not available from this repository.
Abstract—The recognition and monitoring of activities of daily living is one of the key requirements of a Smart Living environment to promote levels of independence. In this paper,we present a novel approach to extracting high-level semantic information from low-level data acquired through video recordings. We have developed a Model Checker based on a bounded temporal past linear logic. We have evaluated the performance of the model checker based on a set of 12 experiments conducted within a Smart Kitchen environment. Initial results have demonstrated the utility of such an approach, however, further efforts are required to address issues of scalability and maintenance.
|Item Type:||Conference contribution (Paper)|
|Faculties and Schools:||Faculty of Computing & Engineering|
Faculty of Computing & Engineering > School of Computing and Mathematics
|Research Institutes and Groups:||Computer Science Research Institute|
Computer Science Research Institute > Smart Environments
|Deposited By:||Dr Mark Donnelly|
|Deposited On:||07 Apr 2011 14:13|
|Last Modified:||07 Apr 2011 14:13|
Repository Staff Only: item control page