Skip to main content

Algebraic Specification of Operator-Based Multimedia Scenarios

  • Conference paper
Recent Trends in Algebraic Development Techniques (WADT 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1827))

Included in the following conference series:

Abstract

Multimedia presentations are complex compositions of monomedia objects. In this paper, we focus on the temporal model of multimedia presentations. After recalling existing approaches, we present a set of algebraic operators to create complex scenarios. Then, we define their semantics based on causal relations between temporal points. We finally present useful properties of multimedia terms derived from this semantics.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11) (November 1983)

    Google Scholar 

  2. Ayars, J., Cohen, A., Day, K., et al. Synchronized multimedia integration langage( smil) boston specification. Technical report, W3C : World Wide Web Consortium (1999) WD-smil-boston-19991115

    Google Scholar 

  3. Bert, D., Lo Presti, S.: Algebraic Operators and Causal Relations for Modeling Multimedia Presentations (November 1999); Presented at the Symposium on Modal and Temporal Logic-based Planning for Open Networked Multimedia Systems (Boston). To appear in AAAI Press

    Google Scholar 

  4. Buchanan, M.C., Zellweger, P.T.: Automatic temporal layout mechanisms. In: Proc. First ACM International Conference on Multimedia., Anaheim, CA, pp. 341–350 (August 1993)

    Google Scholar 

  5. Cohen, P.J.: Decision procedures for real and p-adic fields. Comm. Pure Applied Math. 22, 131–151 (1969)

    Article  MATH  Google Scholar 

  6. Duda, A., Keramane, C.: Structured Temporal Composition of Multimedia Data. In: Proc. International Workshop on Multi-media Database Management Systems, Blue Mountain Lake, NY (August 1995)

    Google Scholar 

  7. Hamblin, C.L.: Instants and intervals. In: Proc. of the 1st Conf. of the Int. Society for the Study of Time, New York, pp. 324–331 (1972)

    Google Scholar 

  8. ISO. Information technology hypermedia/time-based structuring language (Hy-Time). ISO International Standard, (ISO/IEC IS 10744) (August 1992)

    Google Scholar 

  9. Jourdan, M., Layaïda, N., Roisin, C., Sabry-Ismaïl, L., Tardif, L.: Madeus, an authoring environment for interactive multimedia documents. In: ACM Multimedia 1998, Bristol, UK, pp. 267–272. ACM, New York (1998)

    Chapter  Google Scholar 

  10. Keramane, C.: Spécification de présentations multimédia interactives. PhD thesis, Institut National Polytechnique de Grenoble (October 1997)

    Google Scholar 

  11. Keramane, C., Duda, A.: Interval Expressions - a Functional Model for Interactive Dynamic Multimedia Presentations. In: Proc. IEEE Int. Conference on Multimedia Computing and Systems, Hiroshima (June 1996)

    Google Scholar 

  12. Layaida, N., Keramane, C.: Maintaining temporal consistency of multimedia documents. In: Effective Abstractions in Multimedia Layout, Presentation and Interaction ACM 95 Workshop, San Francisco, CA (November 1995)

    Google Scholar 

  13. Meyer-Boudnik, T., Effelsberg, W.: MHEG explained. IEEE Multimedia 2(1) (1995)

    Google Scholar 

  14. Mossakowski, T., Roggenbach, M.: Basic Datatypes in Casl. Technical Report CoFI M-6 (March 1999), http://www.brics.dk/Projects/CoFI/Notes/M-6/

  15. Mossakowski, T., Roggenbach, M.: The Datatypes REAL and COMPLEX in Casl. Technical Report CoFI Note M-7 (April 1999), http://www.brics.dk/Projects/CoFI/Notes/M-7/

  16. Mosses, P.D.: Casl: A guided tour of its design. In: Fiadeiro, J.L. (ed.) Recent Trends in Algebraic Development Techniques. LNCS, vol. 1589, pp. 216–240. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  17. CoFI Task Group on Language Design. Casl: The Common Algebraic Specification Language, Summary. Technical Report CoFI Document (October 1998), http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/

  18. Pazandak, P., Srivastava, J., Carlis, J.: The temporal component of damsel. In: Second Workshop on Protocols for Multimedia Systems(PROMS 1995), Salzburg, Austria (1995)

    Google Scholar 

  19. Rousseau, F., Duda, A.: Synchronized Multimedia for the WWW. In: Proceedings of the Seventh International World Wide Web Conference(WWW7), Computer Networks and ISDN Systems, Brisbane, Australia, pp. 417–429 (1998)

    Google Scholar 

  20. Vilain, M., Kautz, H.: Constraint Propagation Algorithms for Temporal Reasoning. In: Fifth National Conference on Artificial Intelligence, Philadelphia, pp. 377–382 (May 1986)

    Google Scholar 

  21. Wahl, T., Rothermel, K.: Representing time in multimedia systems. In: Proc. IEEE International Conference on Multimedia Computing and Systems, Boston, MA (1994)

    Google Scholar 

  22. Weiss, R., Duda, A., Gifford, D.K.: Composition and search with a Video Algebra. IEEE Multimedia 2(1) (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bert, D., Lo Presti, S. (2000). Algebraic Specification of Operator-Based Multimedia Scenarios. In: Bert, D., Choppy, C., Mosses, P.D. (eds) Recent Trends in Algebraic Development Techniques. WADT 1999. Lecture Notes in Computer Science, vol 1827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44616-3_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-44616-3_22

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67898-4

  • Online ISBN: 978-3-540-44616-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics