{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:48Z","timestamp":1750308708807,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,9,8]],"date-time":"2015-09-08T00:00:00Z","timestamp":1441670400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002322","name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004586","name":"Funda\u00e7\u00e3o Carlos Chagas Filho de Amparo \u00e0 Pesquisa do Estado do Rio de Janeiro","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004586","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,9,8]]},"DOI":"10.1145\/2682571.2797060","type":"proceedings-article","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T13:41:11Z","timestamp":1441114871000},"page":"133-142","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Spatio-temporal Validation of Multimedia Documents"],"prefix":"10.1145","author":[{"given":"Joel A.F.","family":"dos Santos","sequence":"first","affiliation":[{"name":"Universit\u00e9 Grenoble Alpes, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christiano","family":"Braga","sequence":"additional","affiliation":[{"name":"Universidade Federal Fluminense, Niter\u00f3i, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e9bora C.","family":"Muchaluat-Saade","sequence":"additional","affiliation":[{"name":"Universidade Federal Fluminense, Niter\u00f3i, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9cile","family":"Roisin","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Grenoble Alpes, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nabil","family":"Laya\u00efda","sequence":"additional","affiliation":[{"name":"Inria, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"e_1_3_2_1_2_1","first-page":"825","volume":"185","author":"Barrett C. W.","year":"2009","unstructured":"C. W. Barrett , R. Sebastiani , S. A. Seshia , and C. Tinelli . Satisfiability modulo theories. Handbook of satisfiability , 185 : 825 -- 885 , 2009 . C. W. Barrett, R. Sebastiani, S. A. Seshia, and C. Tinelli. Satisfiability modulo theories. Handbook of satisfiability, 185:825--885, 2009.","journal-title":"Satisfiability modulo theories. Handbook of satisfiability"},{"key":"e_1_3_2_1_3_1","first-page":"6","volume-title":"SMT Spatio-Temporal Planning. In ICAPS 2012 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2012","author":"Belouaer L.","year":"2012","unstructured":"L. Belouaer and F. Maris . SMT Spatio-Temporal Planning. In ICAPS 2012 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2012 ), pages 6 -- 15 , 2012 . L. Belouaer and F. Maris. SMT Spatio-Temporal Planning. In ICAPS 2012 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2012), pages 6--15, 2012."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICME.2005.1521489"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00530-011-0233-1"},{"key":"e_1_3_2_1_6_1","volume-title":"All about Maude - A High-performance Logical Framework: how to Specify, Program, and Verify Systems in Rewriting Logic","author":"Clavel M.","year":"2007","unstructured":"M. Clavel , S. Eker , F. Dur\u00e1n , P. Lincoln , N. Mart\u00ed-Oliet , and J. Meseguer . All about Maude - A High-performance Logical Framework: how to Specify, Program, and Verify Systems in Rewriting Logic , volume 4350 . Springer-Verlag New York Inc , 2007 . M. Clavel, S. Eker, F. Dur\u00e1n, P. Lincoln, N. Mart\u00ed-Oliet, and J. Meseguer. All about Maude - A High-performance Logical Framework: how to Specify, Program, and Verify Systems in Rewriting Logic, volume 4350. Springer-Verlag New York Inc, 2007."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/366836.366869"},{"key":"e_1_3_2_1_8_1","first-page":"37","volume-title":"SLE (Doctoral Symposium)","author":"dos Santos J. A. F.","year":"2012","unstructured":"J. A. F. dos Santos , C. Braga , and D. C. Muchaluat-Saade . A Model-driven Approach for the Analysis of Multimedia Document . In SLE (Doctoral Symposium) , pages 37 -- 44 , Dresden, Germany , 2012 . J. A. F. dos Santos, C. Braga, and D. C. Muchaluat-Saade. A Model-driven Approach for the Analysis of Multimedia Document. In SLE (Doctoral Symposium), pages 37--44, Dresden, Germany, 2012."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-3-642-41071-0_6","volume-title":"Formal Methods: Foundations and Applications","author":"dos Santos J. A. F.","year":"2013","unstructured":"J. A. F. dos Santos , C. Braga , and D. C. Muchaluat-Saade . An Executable Semantics for a Multimedia Authoring Language . In Formal Methods: Foundations and Applications , pages 67 -- 82 . Springer , Bras\u00edlia, Brazil , 2013 . J. A. F. dos Santos, C. Braga, and D. C. Muchaluat-Saade. An Executable Semantics for a Multimedia Authoring Language. In Formal Methods: Foundations and Applications, pages 67--82. Springer, Bras\u00edlia, Brazil, 2013."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_49"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141596"},{"key":"e_1_3_2_1_13_1","volume-title":"Universit\u00e4t Amsterdam","author":"Hardman H. L.","year":"1998","unstructured":"H. L. Hardman . Modeling and Authoring Hypermedia Documents. PhD thesis , Universit\u00e4t Amsterdam , 1998 . H. L. Hardman. Modeling and Authoring Hypermedia Documents. PhD thesis, Universit\u00e4t Amsterdam, 1998."},{"key":"e_1_3_2_1_14_1","volume-title":"http:\/\/www.itu.int\/rec\/T-REC-H.761--200904-S","author":"Nested Context ITU.","year":"2009","unstructured":"ITU. Nested Context Language (NCL) and Ginga-NCL for IPTV services. http:\/\/www.itu.int\/rec\/T-REC-H.761--200904-S , 2009 . ITU-T Recommendation H. 761. ITU. Nested Context Language (NCL) and Ginga-NCL for IPTV services. http:\/\/www.itu.int\/rec\/T-REC-H.761--200904-S, 2009. ITU-T Recommendation H.761."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382636.2382685"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1030397.1030411"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-010-0552-9"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_19_1","first-page":"165","volume-title":"Principles of Knowledge Representation and Reasoning","author":"Randell D. A.","year":"1992","unstructured":"D. A. Randell , Z. Cui , and A. G. Cohn . A spatial logic based on regions and connection . Principles of Knowledge Representation and Reasoning , pages 165 -- 176 , 1992 . D. A. Randell, Z. Cui, and A. G. Cohn. A spatial logic based on regions and connection. Principles of Knowledge Representation and Reasoning, pages 165--176, 1992."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/290747.290753"},{"key":"e_1_3_2_1_21_1","volume-title":"Digital TV and Web","author":"Soares L. F. G.","year":"2009","unstructured":"L. F. G. Soares and S. D. J. Barbosa . Programming in NCL 3.0: developing applications for the Ginga middleware , Digital TV and Web . Elsevier , 2009 . in Portuguese. L. F. G. Soares and S. D. J. Barbosa. Programming in NCL 3.0: developing applications for the Ginga middleware, Digital TV and Web. Elsevier, 2009. in Portuguese."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s005300050155"},{"key":"e_1_3_2_1_23_1","volume-title":"http:\/\/www.w3c.org\/TR\/SMIL3","author":"Integration C. Synchronized Multimedia","year":"2008","unstructured":"W3 C. Synchronized Multimedia Integration Language - SMIL 3.0 Specification . http:\/\/www.w3c.org\/TR\/SMIL3 , 2008 . World-Wide Web Consortium Recommendation . W3C. Synchronized Multimedia Integration Language - SMIL 3.0 Specification. http:\/\/www.w3c.org\/TR\/SMIL3, 2008. World-Wide Web Consortium Recommendation."}],"event":{"name":"DocEng '15: ACM Symposium on Document Engineering 2015","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"location":"Lausanne Switzerland","acronym":"DocEng '15"},"container-title":["Proceedings of the 2015 ACM Symposium on Document Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2682571.2797060","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2682571.2797060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:08Z","timestamp":1750277648000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2682571.2797060"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,8]]},"references-count":22,"alternative-id":["10.1145\/2682571.2797060","10.1145\/2682571"],"URL":"https:\/\/doi.org\/10.1145\/2682571.2797060","relation":{},"subject":[],"published":{"date-parts":[[2015,9,8]]},"assertion":[{"value":"2015-09-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}