dc.contributor.author | Lee, VY | |
dc.contributor.author | Liu, Y | |
dc.contributor.author | Zhang, X | |
dc.contributor.author | Phua, C | |
dc.contributor.author | Sim, K | |
dc.contributor.author | Zhu, J | |
dc.contributor.author | Biswas, J | |
dc.contributor.author | Dong, JS | |
dc.contributor.author | Mokhtari, M | |
dc.date.accessioned | 2018-07-03T04:19:52Z | |
dc.date.available | 2018-07-03T04:19:52Z | |
dc.date.issued | 2012 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.doi | 10.1007/978-3-642-30779-9_23 | |
dc.identifier.uri | http://hdl.handle.net/10072/172913 | |
dc.description.abstract | Activity 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. | |
dc.description.peerreviewed | Yes | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Springer | |
dc.relation.ispartofpagefrom | 182 | |
dc.relation.ispartofpageto | 189 | |
dc.relation.ispartofjournal | Lecture Notes in Computer Science | |
dc.relation.ispartofvolume | 7251 LNCS | |
dc.subject.fieldofresearch | Software engineering not elsewhere classified | |
dc.subject.fieldofresearchcode | 461299 | |
dc.title | ACARP: Auto correct activity recognition rules using process analysis toolkit (PAT) | |
dc.type | Journal article | |
dc.type.description | C1 - Articles | |
dc.type.code | C - Journal Articles | |
dc.description.version | Accepted Manuscript (AM) | |
gro.rights.copyright | © 2012 Springer International Publishing AG. This is an electronic version of an article published in Lecture Notes In Computer Science (LNCS), 7251LNCS pp. 182-189, 2012. Lecture Notes In Computer Science (LNCS) is available online at: http://link.springer.com// with the open URL of your article. | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Dong, Jin-Song | |