The ContextAct@A4H real-life dataset of daily-living activities Activity recognition using model checking

Paula Lago 1 Frederic Lang 2 Claudia Roncancio 3 Claudia Jiménez-Guarín 1 Radu Mateescu 2 Nicolas Bonnefond 4
2 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
3 LIG Laboratoire d'Informatique de Grenoble - SIGMA
LIG - Laboratoire d'Informatique de Grenoble
4 PERVASIVE INTERACTION
Inria Grenoble - Rhône-Alpes
Abstract : Research on context management and activity recognition in smart environments is essential in the development of innovative well adapted services. This paper presents two main contributions. First, we present ContextAct@A4H, a new real-life dataset of daily living activities with rich context data 4. It is a high quality dataset collected in a smart apartment with a dense but non intrusive sensor infrastructure. Second, we present the experience of using temporal logic and model checking for activity recognition. Temporal logic allows specifying activities as complex events of object usage which can be described at different gran-ularity. It also expresses temporal ordering between events thus palliating a limitation of ontology based activity recognition. The results on using the CADP toolbox for activity recognition in the real life collected data are very good.
Document type :
Conference papers
Patrick Brézillon; Roy Turner; Carlo Penco. 10th International and Interdisciplinary Conference - CONTEXT 2017, Jun 2017, Paris, France. Springer Verlag, Modeling and Using Context, 10257, pp.175-188, 2017, Lecture Notes in Computer Science. <http://context17.lip6.fr/>. <10.1007/978-3-319-57837-8_14>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01551418
Contributor : Radu Mateescu <>
Submitted on : Friday, June 30, 2017 - 11:25:14 AM
Last modification on : Monday, July 10, 2017 - 11:56:06 AM

File

Lago-Lang-Roncancio-et-al-17.p...
Files produced by the author(s)

Identifiers

Citation

Paula Lago, Frederic Lang, Claudia Roncancio, Claudia Jiménez-Guarín, Radu Mateescu, et al.. The ContextAct@A4H real-life dataset of daily-living activities Activity recognition using model checking. Patrick Brézillon; Roy Turner; Carlo Penco. 10th International and Interdisciplinary Conference - CONTEXT 2017, Jun 2017, Paris, France. Springer Verlag, Modeling and Using Context, 10257, pp.175-188, 2017, Lecture Notes in Computer Science. <http://context17.lip6.fr/>. <10.1007/978-3-319-57837-8_14>. <hal-01551418>

Share

Metrics

Record views

117

Document downloads

41