{"id":"https://openalex.org/W2899058258","doi":"https://doi.org/10.1145/3267127","title":"A Hybrid Approach for Spatio-Temporal Validation of Declarative Multimedia Documents","display_name":"A Hybrid Approach for Spatio-Temporal Validation of Declarative Multimedia Documents","publication_year":2018,"publication_date":"2018-10-30","ids":{"openalex":"https://openalex.org/W2899058258","doi":"https://doi.org/10.1145/3267127","mag":"2899058258"},"language":"en","primary_location":{"id":"doi:10.1145/3267127","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3267127","pdf_url":null,"source":{"id":"https://openalex.org/S19610489","display_name":"ACM Transactions on Multimedia Computing Communications and Applications","issn_l":"1551-6857","issn":["1551-6857","1551-6865"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Multimedia Computing, Communications, and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01946641","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052608522","display_name":"Joel dos Santos","orcid":"https://orcid.org/0000-0001-7234-613X"},"institutions":[{"id":"https://openalex.org/I158509141","display_name":"Federal Center for Technological Education Celso Suckow da Fonseca","ror":"https://ror.org/03j8tnm47","country_code":"BR","type":"education","lineage":["https://openalex.org/I1293487690","https://openalex.org/I158509141","https://openalex.org/I2801200668"]},{"id":"https://openalex.org/I4210147816","display_name":"Instituto Federal do Maranh\u00e3o","ror":"https://ror.org/05rm1p636","country_code":"BR","type":"education","lineage":["https://openalex.org/I4210147816"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Joel A. F. Dos Santos","raw_affiliation_strings":["School of Computing and Informatics - CEFET/RJ, Rio de Janeiro, Brazil"],"raw_orcid":"https://orcid.org/0000-0001-7234-613X","affiliations":[{"raw_affiliation_string":"School of Computing and Informatics - CEFET/RJ, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I158509141","https://openalex.org/I4210147816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017693414","display_name":"D\u00e9bora C. Muchaluat-Saade","orcid":"https://orcid.org/0000-0002-1233-9736"},"institutions":[{"id":"https://openalex.org/I161127581","display_name":"Universidade Federal Fluminense","ror":"https://ror.org/02rjhbb08","country_code":"BR","type":"education","lineage":["https://openalex.org/I161127581"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"D\u00e9bora C. Muchaluat-Saade","raw_affiliation_strings":["M\u00eddiaCom Lab, Univ. Federal Fluminense, Niter\u00f3i, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"M\u00eddiaCom Lab, Univ. Federal Fluminense, Niter\u00f3i, Brazil","institution_ids":["https://openalex.org/I161127581"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072618257","display_name":"C\u00e9cile Roisin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4530042","display_name":"Webb Institute","ror":"https://ror.org/02f29yc36","country_code":"US","type":"education","lineage":["https://openalex.org/I4530042"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR","US"],"is_corresponding":false,"raw_author_name":"C\u00e9cile Roisin","raw_affiliation_strings":["Univ. Grenoble Alpes, Inria, LIG, Grenoble, France","Types and Reasoning for the Web"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes, Inria, LIG, Grenoble, France","institution_ids":["https://openalex.org/I4210101348","https://openalex.org/I4210104430","https://openalex.org/I899635006"]},{"raw_affiliation_string":"Types and Reasoning for the Web","institution_ids":["https://openalex.org/I4530042"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058810337","display_name":"Nabil Laya\u00efda","orcid":"https://orcid.org/0000-0001-8472-9365"},"institutions":[{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4530042","display_name":"Webb Institute","ror":"https://ror.org/02f29yc36","country_code":"US","type":"education","lineage":["https://openalex.org/I4530042"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR","US"],"is_corresponding":false,"raw_author_name":"Nabil Laya\u00efda","raw_affiliation_strings":["Inria, LIG, Univ. Grenoble Alpes, Grenoble, France","Types and Reasoning for the Web"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Inria, LIG, Univ. Grenoble Alpes, Grenoble, France","institution_ids":["https://openalex.org/I4210101348","https://openalex.org/I4210104430","https://openalex.org/I899635006"]},{"raw_affiliation_string":"Types and Reasoning for the Web","institution_ids":["https://openalex.org/I4530042"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6597,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.91952517,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"14","issue":"4","first_page":"1","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12720","display_name":"Multimedia Communication and Technology","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12720","display_name":"Multimedia Communication and Technology","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12601","display_name":"Web Applications and Data Management","score":0.9934999942779541,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11439","display_name":"Video Analysis and Summarization","score":0.9922999739646912,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8957654237747192},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5939956903457642},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5442098379135132},{"id":"https://openalex.org/keywords/hypermedia","display_name":"Hypermedia","score":0.45137539505958557},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.43674543499946594},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40094566345214844},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3598020672798157},{"id":"https://openalex.org/keywords/multimedia","display_name":"Multimedia","score":0.28442496061325073}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8957654237747192},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5939956903457642},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5442098379135132},{"id":"https://openalex.org/C2780126544","wikidata":"https://www.wikidata.org/wiki/Q837900","display_name":"Hypermedia","level":2,"score":0.45137539505958557},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.43674543499946594},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40094566345214844},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3598020672798157},{"id":"https://openalex.org/C49774154","wikidata":"https://www.wikidata.org/wiki/Q131765","display_name":"Multimedia","level":1,"score":0.28442496061325073},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3267127","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3267127","pdf_url":null,"source":{"id":"https://openalex.org/S19610489","display_name":"ACM Transactions on Multimedia Computing Communications and Applications","issn_l":"1551-6857","issn":["1551-6857","1551-6865"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Multimedia Computing, Communications, and Applications","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01946641v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01946641","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Multimedia Computing, Communications and Applications, 2018, 14 (4), pp.1-24. ⟨10.1145/3267127⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01946641v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01946641","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Multimedia Computing, Communications and Applications, 2018, 14 (4), pp.1-24. ⟨10.1145/3267127⟩","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.5699999928474426}],"awards":[],"funders":[{"id":"https://openalex.org/F4320313934","display_name":"Institut national de recherche en informatique et en automatique (INRIA)","ror":"https://ror.org/02kvxyf05"},{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"},{"id":"https://openalex.org/F4320322749","display_name":"Funda\u00e7\u00e3o Carlos Chagas Filho de Amparo \u00e0 Pesquisa do Estado do Rio de Janeiro","ror":"https://ror.org/03kk0s825"},{"id":"https://openalex.org/F4320336557","display_name":"Ci\u00eancia sem Fronteiras","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W852874","https://openalex.org/W19399978","https://openalex.org/W116151007","https://openalex.org/W322180887","https://openalex.org/W830430907","https://openalex.org/W1128447031","https://openalex.org/W1504007491","https://openalex.org/W1563975568","https://openalex.org/W1987325302","https://openalex.org/W2006766139","https://openalex.org/W2007486731","https://openalex.org/W2008361377","https://openalex.org/W2010985784","https://openalex.org/W2017641296","https://openalex.org/W2023808162","https://openalex.org/W2044918066","https://openalex.org/W2064189581","https://openalex.org/W2086318045","https://openalex.org/W2091581165","https://openalex.org/W2106774317","https://openalex.org/W2113117628","https://openalex.org/W2127494295","https://openalex.org/W2137351629","https://openalex.org/W2151655578","https://openalex.org/W2161484642","https://openalex.org/W2166940901","https://openalex.org/W2275435169","https://openalex.org/W2397575617","https://openalex.org/W2403925593","https://openalex.org/W2496490853","https://openalex.org/W2549486221","https://openalex.org/W2762245828","https://openalex.org/W6600808634"],"related_works":["https://openalex.org/W1986400483","https://openalex.org/W2755139859","https://openalex.org/W2021446321","https://openalex.org/W1557661861","https://openalex.org/W1997004243","https://openalex.org/W2264492131","https://openalex.org/W2029270702","https://openalex.org/W2114841919","https://openalex.org/W37150012","https://openalex.org/W3196817267"],"abstract_inverted_index":{"Declarative":[0],"multimedia":[1,7,66,102,116],"documents":[2,255],"represent":[3],"the":[4,38,140,162,191,227],"description":[5],"of":[6,11,50,142,168,176,196,203,220,231,233],"applications":[8],"in":[9,26,58,84,166,194,229],"terms":[10,167,195,230],"media":[12,21],"items":[13,22],"and":[14,28,180,198,209,235,256],"relationships":[15,57],"among":[16],"them.":[17],"Relationships":[18],"specify":[19],"how":[20],"are":[23,105],"dynamically":[24],"arranged":[25],"time":[27],"space":[29],"during":[30],"runtime.":[31],"Although":[32,99],"a":[33,59,85,115,122,137,150,177],"declarative":[34],"approach":[35,118,152],"usually":[36],"facilitates":[37],"authoring":[39,110],"task,":[40],"authors":[41],"can":[42,80,94],"still":[43],"make":[44],"mistakes":[45],"due":[46],"to":[47,63,72,88,217,237],"incorrect":[48],"use":[49,246],"language":[51],"constructs":[52],"or":[53,55],"inconsistent":[54],"missing":[56],"document.":[60],"In":[61],"order":[62],"properly":[64],"support":[65],"application":[67],"authoring,":[68],"it":[69,93],"is":[70,133,147,182,211],"important":[71],"provide":[73],"tools":[74,104,244],"with":[75,252],"validation":[76,79,103,117,181,210,224,243],"capabilities.":[77],"Document":[78],"indicate":[81],"possible":[82],"inconsistencies":[83],"given":[86],"document":[87,138,146],"an":[89],"author":[90],"so":[91],"that":[92,119,245],"be":[95,238],"revised":[96],"before":[97],"deployment.":[98],"very":[100],"useful,":[101],"not":[106],"often":[107],"provided":[108],"by":[109,174,201,257],"tools.":[111],"This":[112],"work":[113],"proposes":[114],"relies":[120],"on":[121,154],"formal":[123],"model":[124],"called":[125],"Simple":[126],"Hypermedia":[127],"Model":[128],"(":[129],"SHM":[130,132,145,234],").":[131],"used":[134],"for":[135,139],"representing":[136],"purpose":[141],"validation.":[143],"An":[144],"validated":[148],"using":[149],"hybrid":[151],"based":[153],"two":[155],"complementary":[156],"techniques.":[157],"The":[158,187],"first":[159],"one":[160,189],"captures":[161,190],"document\u2019s":[163,192],"spatio-temporal":[164],"layout":[165,193],"its":[169,172],"state":[170],"throughout":[171],"execution":[173],"means":[175,202],"rewrite":[178],"theory,":[179],"performed":[183,212],"through":[184,213],"model-checking":[185],".":[186],"second":[188],"intervals":[197],"event":[199],"occurrences":[200],"Satisfiability":[204],"Modulo":[205],"Theories":[206],"(SMT)":[207],"formulas,":[208],"SMT":[214],"solving.":[215],"Due":[216],"different":[218],"characteristics":[219],"both":[221],"approaches,":[222],"each":[223],"technique":[225],"complements":[226],"other":[228],"expressiveness":[232],"tests":[236],"checked.":[239],"We":[240],"briefly":[241],"present":[242],"our":[247],"approach.":[248],"They":[249],"were":[250],"evaluated":[251],"real":[253],"NCL":[254],"usability":[258],"tests.":[259]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}