Show simple item record

dc.contributor.authorLee, VY
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, JS
dc.contributor.authorMokhtari, M
dc.date.accessioned2018-07-03T04:19:52Z
dc.date.available2018-07-03T04:19:52Z
dc.date.issued2012
dc.identifier.issn0302-9743
dc.identifier.doi10.1007/978-3-642-30779-9_23
dc.identifier.urihttp://hdl.handle.net/10072/172913
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.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofpagefrom182
dc.relation.ispartofpageto189
dc.relation.ispartofjournalLecture Notes in Computer Science
dc.relation.ispartofvolume7251 LNCS
dc.subject.fieldofresearchComputer Software not elsewhere classified
dc.subject.fieldofresearchcode080399
dc.titleACARP: Auto correct activity recognition rules using process analysis toolkit (PAT)
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
dc.description.versionAccepted 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.hasfulltextFull Text
gro.griffith.authorDong, Jin-Song


Files in this item

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record