{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:23:48Z","timestamp":1725567828360},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678984"},{"type":"electronic","value":"9783540446163"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-44616-3_22","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T14:09:44Z","timestamp":1287065384000},"page":"383-400","source":"Crossref","is-referenced-by-count":1,"title":["Algebraic Specification of Operator-Based Multimedia Scenarios"],"prefix":"10.1007","author":[{"given":"Didier","family":"Bert","sequence":"first","affiliation":[]},{"given":"St\u00e9phane","family":"Lo Presti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a026(11) (November 1983)","DOI":"10.1145\/182.358434"},{"key":"22_CR2","unstructured":"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"},{"key":"22_CR3","unstructured":"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"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Buchanan, M.C., Zellweger, P.T.: Automatic temporal layout mechanisms. In: Proc. First ACM International Conference on Multimedia., Anaheim, CA, pp. 341\u2013350 (August 1993)","DOI":"10.1145\/166266.168415"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1002\/cpa.3160220202","volume":"22","author":"P.J. Cohen","year":"1969","unstructured":"Cohen, P.J.: Decision procedures for real and p-adic fields. Comm. Pure Applied Math.\u00a022, 131\u2013151 (1969)","journal-title":"Comm. Pure Applied Math."},{"volume-title":"Proc. International Workshop on Multi-media Database Management Systems","year":"1995","author":"A. Duda","key":"22_CR6","unstructured":"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)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"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\u2013331 (1972)","DOI":"10.1007\/978-3-642-65387-2_23"},{"key":"22_CR8","unstructured":"ISO. Information technology hypermedia\/time-based structuring language (Hy-Time). ISO International Standard, (ISO\/IEC IS 10744) (August 1992)"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1145\/290747.290780","volume-title":"ACM Multimedia 1998","author":"M. Jourdan","year":"1998","unstructured":"Jourdan, M., Laya\u00efda, N., Roisin, C., Sabry-Isma\u00efl, L., Tardif, L.: Madeus, an authoring environment for interactive multimedia documents. In: ACM Multimedia 1998, Bristol, UK, pp. 267\u2013272. ACM, New York (1998)"},{"key":"22_CR10","unstructured":"Keramane, C.: Sp\u00e9cification de pr\u00e9sentations multim\u00e9dia interactives. PhD thesis, Institut National Polytechnique de Grenoble (October 1997)"},{"key":"22_CR11","unstructured":"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)"},{"key":"22_CR12","unstructured":"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)"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Meyer-Boudnik, T., Effelsberg, W.: MHEG explained. IEEE Multimedia\u00a02(1) (1995)","DOI":"10.1109\/93.368598"},{"key":"22_CR14","unstructured":"Mossakowski, T., Roggenbach, M.: Basic Datatypes in Casl. Technical Report CoFI M-6 (March 1999), \n http:\/\/www.brics.dk\/Projects\/CoFI\/Notes\/M-6\/"},{"key":"22_CR15","unstructured":"Mossakowski, T., Roggenbach, M.: The Datatypes REAL and COMPLEX in Casl. Technical Report CoFI Note M-7 (April 1999), \n http:\/\/www.brics.dk\/Projects\/CoFI\/Notes\/M-7\/"},{"key":"22_CR16","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-48483-3_15","volume-title":"Recent Trends in Algebraic Development Techniques","author":"P.D. Mosses","year":"1999","unstructured":"Mosses, P.D.: Casl: A guided tour of its design. In: Fiadeiro, J.L. (ed.) Recent Trends in Algebraic Development Techniques. LNCS, vol.\u00a01589, pp. 216\u2013240. Springer, Heidelberg (1999)"},{"key":"22_CR17","unstructured":"CoFI Task Group on Language Design. Casl: The Common Algebraic Specification Language, Summary. Technical Report CoFI Document (October 1998), \n http:\/\/www.brics.dk\/Projects\/CoFI\/Documents\/CASL\/Summary\/"},{"key":"22_CR18","unstructured":"Pazandak, P., Srivastava, J., Carlis, J.: The temporal component of damsel. In: Second Workshop on Protocols for Multimedia Systems(PROMS 1995), Salzburg, Austria (1995)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"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\u2013429 (1998)","DOI":"10.1016\/S0169-7552(98)00019-1"},{"key":"22_CR20","unstructured":"Vilain, M., Kautz, H.: Constraint Propagation Algorithms for Temporal Reasoning. In: Fifth National Conference on Artificial Intelligence, Philadelphia, pp. 377\u2013382 (May 1986)"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Wahl, T., Rothermel, K.: Representing time in multimedia systems. In: Proc. IEEE International Conference on Multimedia Computing and Systems, Boston, MA (1994)","DOI":"10.1109\/MMCS.1994.292502"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Weiss, R., Duda, A., Gifford, D.K.: Composition and search with a Video Algebra. IEEE Multimedia\u00a02(1) (1995)","DOI":"10.1109\/93.368596"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44616-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T20:38:46Z","timestamp":1674506326000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-44616-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678984","9783540446163"],"references-count":22,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-540-44616-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}
