Ulster University Logo

Temporal Logic Bounded Model- Checking for Recognition of Activities of Daily Living

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.

DOI: 10.1109/ITAB.2010.5687608


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
ID Code:17245
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