Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-30779-9_23
DC FieldValue
dc.titleACARP: Auto correct activity recognition rules using process analysis toolkit (PAT)
dc.contributor.authorLee, V.Y.
dc.contributor.authorLiu, Y.
dc.contributor.authorZhang, X.
dc.contributor.authorPhua, C.
dc.contributor.authorSim, K.
dc.contributor.authorZhu, J.
dc.contributor.authorBiswas, J.
dc.contributor.authorDong, J.S.
dc.contributor.authorMokhtari, M.
dc.date.accessioned2013-07-04T07:55:55Z
dc.date.available2013-07-04T07:55:55Z
dc.date.issued2012
dc.identifier.citationLee, V.Y.,Liu, Y.,Zhang, X.,Phua, C.,Sim, K.,Zhu, J.,Biswas, J.,Dong, J.S.,Mokhtari, M. (2012). ACARP: Auto correct activity recognition rules using process analysis toolkit (PAT). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7251 LNCS : 182-189. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-30779-9_23" target="_blank">https://doi.org/10.1007/978-3-642-30779-9_23</a>
dc.identifier.isbn9783642307782
dc.identifier.issn03029743
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40067
dc.description.abstractActivity recognition within ambient environments is a highly non-trivial process. Such procedures can be managed using rule based systems in monitoring human behavior. However, designing and verification of such systems is laborious and time-consuming. We present a rule verification system that uses model checking techniques to ensure rule validity. This system also performs correction of erroneous rules automatically, therefore reducing reliance on manual rule checking, verification and correction. © 2012 Springer-Verlag.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-30779-9_23
dc.sourceScopus
dc.subjectModel Checking
dc.subjectRules Auto-correction
dc.subjectRules Verification
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1007/978-3-642-30779-9_23
dc.description.sourcetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.description.volume7251 LNCS
dc.description.page182-189
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

6
checked on Jul 20, 2019

Page view(s)

117
checked on Jul 5, 2019

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.