{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T05:23:43Z","timestamp":1730265823890,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/iintec.2017.8325935","type":"proceedings-article","created":{"date-parts":[[2018,3,29]],"date-time":"2018-03-29T20:31:35Z","timestamp":1522355495000},"page":"177-182","source":"Crossref","is-referenced-by-count":1,"title":["An activity description language for activity recognition"],"prefix":"10.1109","author":[{"given":"Ines","family":"Sarray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annie","family":"Ressouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabine","family":"Moisan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Rigault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Gaffe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"ref3","first-page":"166","author":"gazagnaire","year":"2007","journal-title":"Causal Message Sequence Charts"},{"key":"ref10","first-page":"441","article-title":"Compilation modulaire d'un langage synchrone","volume":"4","author":"ressouche","year":"2011","journal-title":"Revue des sciences et technologies de l'information serie Theorie et Science Informatique"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.entcs.2009.08.010","article-title":"Improving translation of Live Sequence Charts to temporal logic","volume":"250","author":"rahul","year":"2009","journal-title":"Electron Notes Theor Comput Sci"},{"key":"ref11","article-title":"Synchronous Automata For Activity Recognition","author":"sarray","year":"2017","journal-title":"Res Rep INRIA Sophia Antipolis"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2012.07.003"},{"key":"ref12","first-page":"1295","article-title":"Automatic video interpretation: A novel algorithm for temporal scenario recognition","author":"van-thinh","year":"2003","journal-title":"Proceedings of the 18th International Joint Conference on Artificial Intelligence IJCAI'03"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2016.7550803"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1283","DOI":"10.1016\/j.infsof.2012.06.010","article-title":"A framework for pathologies of Message Sequence Charts","volume":"54","author":"haitao","year":"2012","journal-title":"Inf Softw Technol"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2014.02.014"},{"key":"ref1","first-page":"114","author":"alur","year":"1999","journal-title":"Model Checking of Message Sequence Charts"}],"event":{"name":"2017 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC)","start":{"date-parts":[[2017,10,20]]},"location":"Gafsa","end":{"date-parts":[[2017,10,22]]}},"container-title":["2017 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8320135\/8325902\/08325935.pdf?arnumber=8325935","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T08:24:13Z","timestamp":1643185453000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8325935\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/iintec.2017.8325935","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}