Algebraic specification of operator-based multimedia scenarios

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1827, Issue , 2000, Pages 383-401

  Bert, Didier ^a   Lo Presti, Stéphane ^a  

^a Lab Logiciels Systemes Reseaux   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

ALGEBRAIC SPECIFICATIONS; CAUSAL RELATIONS; COMPLEX COMPOSITIONS; MULTIMEDIA PRESENTATION; TEMPORAL MODELING; USEFUL PROPERTIES;

ALGEBRA;

EID: 84893113110     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/978-3-540-44616-3_22     Document Type: Article

References (22)

1. J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), November 1983.
2. J. Ayars, A. Cohen, K. Day, and al. Synchronized multimedia integration langage(smil) boston specification. Technical report, W3C: World Wide Web Consortium,1999. WD-smil-boston-19991115.
3. D. Bert and S. Lo Presti. 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
4. M. C. Buchanan and P. T. Zellweger. Automatic temporal layout mechanisms. In Proc. First ACM International Conference on Multimedia., pages 341-350, Anaheim, CA, August 1993.
5. P. J. Cohen. Decision procedures for real and p-adic fields. Comm. Pure Applied Math., (22):131-151, 1969.
6. A. Duda and C. Keramane. Structured Temporal Composition of Multimedia Data. In Proc. International Workshop on Multi-media Database Management Systems, Blue Mountain Lake, NY, August 1995.
7. C.L. Hamblin. Instants and intervals. In Proc. Of the 1st Conf. of the Int. Society for the Study of Time, pages 324-331, New York, 1972.
8. ISO. Information technology hypermedia/time-based structuring language (Hy-Time). ISO International Standard, (ISO/IEC IS 10744), August 1992.
9. M. Jourdan, N. Layaïda, C. Roisin, L. Sabry-Ismaïl, and L. Tardif. Madeus, an authoring environment for interactive multimedia documents. In ACM Multimedia’ 98, pages 267-272, Bristol, UK, September 1998. ACM.
10. C. Keramane. Spécification de présentations multimédia interactives. PhD thesis, Institut National Polytechnique de Grenoble, Octobre 1997.
11. C. Keramane and A. Duda. Interval Expressions-a Functional Model for Interactive Dynamic Multimedia Presentations. In Proc. IEEE Int. Conference on Multimedia Computing and Systems, Hiroshima, June 1996.
12. N. Layaida and C. Keramane. Maintaining temporal consistency of multimedia documents. In Effective Abstractions in Multimedia Layout, Presentation and Interaction ACM 95 Workshop, San Francisco, CA, November 1995.
13. T. Meyer-Boudnik and W. Effelsberg. MHEG explained. IEEE Multimedia, 2(1), 1995.
14. T. Mossakowski and M. Roggenbach. Basic Datatypes in Casl. Technical Report CoFI M-6, URL:http://www.brics.dk/Projects/CoFI/Notes/M-6/, March 1999.
15. T. Mossakowski and M. Roggenbach. The Datatypes REAL and COMPLEX in Casl. Technical Report CoFI Note M-7, URL: http://www.brics.dk/Projects/CoFI/Notes/M-7/, April 1999.
16. P. D. Mosses. Casl: A guided tour of its design. In J. L. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, LNCS 1589, Springer-Verlag, pages 216-240, 1999.
17. CoFI Task Group on Language Design. Casl: The Common Algebraic Specification Language, Summary. Technical Report CoFI Document, URL: http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/, October 1998.
18. P. Pazandak, J. Srivastava, and J. Carlis. The temporal component of damsel. In Second Workshop on Protocols for Multimedia Systems(PROMS’95), Salzburg, Austria, 1995.
19. F. Rousseau and A. Duda. Synchronized Multimedia for the WWW. In Proceedings of the Seventh International World Wide Web Conference(WWW7), Computer Networks and ISDN Systems, pages 417-429, Brisbane, Australia, 1998.
20. M. Vilain and H. Kautz. Constraint Propagation Algorithms for Temporal Reasoning. In Fifth National Conference on Artificial Intelligence, pages 377-382, Philadelphia, 1986.
21. T. Wahl and K. Rothermel. Representing time in multimedia systems. In Proc. IEEE International Conference on Multimedia Computing and Systems., Boston, MA, May 1994.
22. R. Weiss, A. Duda, and D.K. Gifford. Composition and search with a Video Algebra. IEEE Multimedia, 2(1), 1995.