Abstract
In this paper we address the problem of comparing multimedia documents, which can be described according to different reference models. If we consider pre- sentations as collections of media items and constraints among them, expressed ac- cording to their reference model, they must be translated to a common formalism in order to compare their temporal behavior and detect if they have a common component (i.e., intersection), if one of them is included in another one (i.e., inclusion), or if they have the same temporal evolution along time (i.e., equivalence). In this paper, we propose the use of automata, to describe the temporal evolution of a document, and the SMIL language as a case study, since this standard allows to describe the same behavior with different sets of tags. In case of behaviorally equivalent SMIL documents, we propose an algorithm to extract the canonical form that represents this behavior.
Similar content being viewed by others
References
Allen JF (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832–843, November
Alur R, Dill DL (1994) A theory of timed automata. Theor Comp Sci 126:183–235
Bertolotti P, Gaggi O (2005) A study on multimedia documents be-havior: a notion of equivalence. Technical report 82/05, Department of Computer Science, University of Turin, Italy. January 2005. http://www.di.unito.it/~bertolot/tech-report-mtap04.pdf
Boll S, Klas W, Wandel J (1999) A cross-media adaptation strategy for multimedia presentations. In: Proceedings of multimedia conference, Orlando, Florida, USA, 30 October–5 November
Celentano A, Gaggi O, Sapino ML (2004) Retrieval in multimedia presentations. Multimedia Syst J 10(1):72–82
Hardman L, Bulterman DCA, van Rossum G (1994) The Amsterdam hypermedia model: adding time, structure and context to hypertext. Commun ACM 37(2):50–62, February
Hausmann JH, Heckel R, Sauer S (2002) Dynamic meta modeling with time: specifying the semantics of multimedia sequence diagrams. In: Proceedings of workshop on graph transformation and visual modelling techniques (GT-VMT 2002), Barcelona, Spain, 11–12 October
Jourdan M, Layaïda N, Roisin C, Sabry-Ismail L, Tardif L (1998) Madeus, an authoring environment for interactive multimedia documents. In: ACM multimedia, Bristol, UK, pp 267–272, September
Lo Presti S, Bert D, Duda A (2002) TAO: Temporal Algebraic Operators for modeling multimedia presentations. J Netw Comput Appl 25(4):319–342, October
Sampaio PNM, Courtiat J-P (2000) A formal approach for the presentation of interactive multimedia documents. In: Proceedings of ACM multimedia (short paper). Los Angeles, USA, 30 October–4 November
Stotts PD, Furuta R, Cabarrus CR (1998) Hyperdocuments as automata: verification of trace-based browsing properties by model checking. ACM Trans Inf Sys 16(1):1–30, January
Synchronized multimedia working group of W3C (2001) Synchronized Multimedia Integration Language (SMIL) 2.0 specification. http://www.w3.org/TR/smil20, August
Yang C-C (2000) Detection of the time conflicts for SMIL-based multimedia presentation. In: Proceedings of 2000 computer symposium (ICS-2000)—workshop on computer networks, internet, and multimedia, Chiayi, Taiwan, pp 57–63
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bertolotti, P., Gaggi, O. A study on multimedia documents behavior: a notion of equivalence. Multimed Tools Appl 33, 301–324 (2007). https://doi.org/10.1007/s11042-007-0102-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11042-007-0102-2