1,332 Hits in 3.6 sec

An approach for the automatic generation of RT-LOTOS specifications from SMIL 2.0 documents

Paulo N.M. Sampaio, Jean-Pierre Courtiat
2004 Journal of the Brazilian Computer Society  
This paper refers to a methodology for the formal design of Interactive Multimedia Documents based on the formal description technique RT-LOTOS.  ...  In particular, this paper presents an approach applied by our methodology for the automatic translation of SMIL 2.0 documents into RT-LOTOS specifications.  ...  For this purpose, it is necessary a formal methodology for the design of SMIL 2.0 documents.  ... 
doi:10.1590/s0104-65002004000100004 fatcat:z3voqjkmbbcqpa7q66g63qmq24

Formal Design of Interactive Multimedia Documents [chapter]

Jean-Pierre Courtiat
2003 Lecture Notes in Computer Science  
To avoid these undesirable behaviors, a document formal design method is presented in this paper for identifying and then possibly correcting temporal inconsistencies.  ...  The formal verification of the RT-LOTOS specification is performed using RTL (the RT-LOTOS Laboratory) developed at LAAS-CNRS.  ...  Section 5 addresses the application of the formal design method to SMIL 2.0 interactive multimedia documents. Section 6 presents some conclusions.  ... 
doi:10.1007/978-3-540-39979-7_23 fatcat:skezsmb2dfc7dmmu2pfbfkadbu

Synthetic characters as multichannel interfaces

Elena Not, Koray Balci, Fabio Pianesi, Massimo Zancanaro
2005 Proceedings of the 7th international conference on Multimodal interfaces - ICMI '05  
SMIL-AGENT has been defined starting from SMIL 0.1 standard specification and aims at providing a high-level standardized language for presentations by different synthetic agents within diverse communication  ...  In this view, we propose SMIL-AGENT as a representation and scripting language for synthetic characters, which abstracts away from the specific implementation and context of use of the character.  ...  Indeed, SMIL seems a good baseline because it has been explicitly designed for "integrating a set of independent multimedia objects into a synchronized multimedia presentation" by specifying the temporal  ... 
doi:10.1145/1088463.1088499 dblp:conf/icmi/NotBPZ05 fatcat:dkbwy5jxxzhzvebfhfilhyj2w4

A Hierarchical Petri Net Model for SMIL Documents [chapter]

Samia Bouyakoub, Abdelkader Belkhir
2010 Modeling Simulation and Optimization - Focus on Applications  
This formal approach has been integrated within an incremental authoring tool for SMIL presentations.  ...  The Hierarchical SMIL-Net (H-SMIL-Net) model inherits most of temporal elements defined in SMIL-Net; so, the presentation of some SMIL-Net principles is necessary before presenting H-SMIL-Net.  ...  The book presents a collection of chapters dealing with a wide selection of topics concerning different applications of modeling.  ... 
doi:10.5772/8971 fatcat:onqrp6lmibfxdklzdkzc25txtq

Modelling Reactive Multimedia: Design and Authoring

Simon Thompson, Peter King, Helen Cameron
2005 Multimedia tools and applications  
We present details of its implementation using the three different authoring tools, MCF, Fran and SMIL 2.0, and we discuss the conclusions that may be drawn from our comparison of the three approaches.  ...  In particular, a distinction may be drawn between the design and the implementation of a multimedia artifact.  ...  Acknowledgements The authors are grateful to David Hadaller for his contributions to the HTML+Time version of the game; his work was supported by an NSERC Summer Undergraduate Student Research Award.  ... 
doi:10.1007/s11042-005-2713-9 fatcat:rolhgjwijfdqzmothbk54kuhxm

A model for editing operations on active temporal multimedia documents

Jack Jansen, Pablo Cesar, Dick C.A. Bulterman
2010 Proceedings of the 10th ACM symposium on Document engineering - DocEng '10  
Finally, we apply the model to the design of a teleconferencing application, where multimedia composition is only a small component of the whole application, and needs to be reactive to the rest of the  ...  We validate the model by applying it to the SMIL language, categorizing all possible editing operations.  ...  ACKNOWLEDGEMENTS The work presented in this paper was funded in part by the FP7 project TA2: Together Anywhere, Together Anytime.  ... 
doi:10.1145/1860559.1860579 dblp:conf/doceng/JansenCB10 fatcat:tpgkdzriufbs7pqiwb5x2ejlea

Unlocking the semantics of multimedia presentations in the web with the multimedia metadata ontology

Carsten Saathoff, Ansgar Scherp
2010 Proceedings of the 19th international conference on World wide web - WWW '10  
The semantics of rich multimedia presentations in the web such as SMIL, SVG, and Flash cannot or only to a very limited extend be understood by search engines today.  ...  This hampers the retrieval of such presentations and makes their archival and management a difficult task.  ...  Acknowledgements: We thank Frank Nack for discussing the features and concepts of MPEG-7.  ... 
doi:10.1145/1772690.1772775 dblp:conf/www/SaathoffS10 fatcat:xzao5fzk3vfgnbo6srgpjarsbe

A Brief of Review: Multimedia Authoring Tool Attributes

Marvin Chandra Wijaya, Zulisman Maksom, Muhammad Haziq Lim Abdullah
2021 Ingénierie des Systèmes d'Information  
Multimedia authoring is the process of assembling various types of media content such as audio, video, text, images, and animation into a multimedia presentation using tools.  ...  The use of the Petri net model, the Hoare Logic, and the Simple Interactive Multimedia Model as a formal verification model can improve the performance of the Multimedia Authoring Tool.  ...  . • The author can check the consistency of the SMIL language used in the designed multimedia presentation.  ... 
doi:10.18280/isi.260101 fatcat:yftuowdfvrgtrity5gp5opyjpa

Open standard and open sourced SMIL for interactivity

Daniel F. Zucker, Dick Bulterman
2007 Interactions  
By design, the media objects themselves are kept separate from the SMIL document describing the presentation.  ...  For the interaction designer, SMIL is useful for any presentation or interface requiring time-based interactions with media.  ...  Last, the presentation takes advantage of the systemTest element, allowing a single presentation to be dynamically modified based on application requirements.  ... 
doi:10.1145/1300655.1300680 fatcat:k5erw2ynv5dslmvwcbynn4lek4

Enriching SMIL with assertions for temporal validation

Annalisa Bossi, Ombretta Gaggi
2007 Proceedings of the 15th international conference on Multimedia - MULTIMEDIA '07  
In this paper we define a formal semantics for the language SMIL which can be used in a number of applications.  ...  First of all, we propose a computer-aided authoring system which include a Semantic Validator Module for the evaluation of the temporal consistency of the resulting multimedia presentation.  ...  CONCLUSIONS AND RELATED WORK This paper presents a formal semantics for the temporal aspects of SMIL documents.  ... 
doi:10.1145/1291233.1291256 dblp:conf/mm/BossiG07 fatcat:ch2kisn4gvcyhn2i3ze3g7nxk4

A study on multimedia documents behavior: a notion of equivalence

Paola Bertolotti, Ombretta Gaggi
2007 Multimedia tools and applications  
If we consider presentations as collections of media items and constraints among them, expressed according to their reference model, they must be translated to a common formalism in order to compare their  ...  In case of behaviorally equivalent SMIL documents, we propose an algorithm to extract the canonical form that represents this behavior.  ...  In [11] Sampaio et al. present a formal approach to design an Interactive Multimedia Document (IMD) and to perform the schedule of a presentation, if the temporal constraints are satisfied.  ... 
doi:10.1007/s11042-007-0102-2 fatcat:ea3xzc6f45f7vipensg25dx2bu

An export architecture for a multimedia authoring environment

Jan Mikác, Cécile Roisin, Bao Le Duc
2008 Proceeding of the eighth ACM symposium on Document engineering - DocEng '08  
In this paper, we propose an export architecture that provides a clear separation of multimedia authoring services from publication services.  ...  We illustrate this architecture with the LimSee3 authoring tool and several standard publication formats: Timesheets, SMIL, and XHTML.  ...  We started creating transformations from the intermediary format to a presentation format with SMIL, which is the W3C standard for synchronized multimedia documents and which is probably the closest formalism  ... 
doi:10.1145/1410140.1410147 dblp:conf/doceng/MikacRD08 fatcat:trnxxiq3vjaoxovhi3vjmxwndu

Advances in W3C Web graphics standards

Max Froumentin
2003 Proceedings of the SIGGRAPH 2003 conference on Web graphics in conjunction with the 30th annual conference on Computer graphics and interactive techniques - GRAPH '03  
Such questions as where in an XHTML document a synchronised animation can occur are not addressed in either the XHTML or the SMIL specifications, and should therefore be formally answered.  ...  W3C Recommendations have not only been designed for easier access to web content but also to allow high-quality presentation, making use of new computer graphics and interaction environments, from bitmap  ... 
doi:10.1145/965333.965364 dblp:conf/siggraph/Froumentin03 fatcat:h2kxqpchm5bh5j23fc6s33vxie

Drag and Drop: Amalgamation of Authoring, Querying, and Restructuring for Multimedia View Construction [chapter]

Atsuyuki Morishima, Seiichi Koizumi, Hiroyuki Kitagawa
2000 Advances in Visual Information Management  
This paper also provides the formal semantics of data operations through the visual user interface.  ...  A feature of our user interface is that the user can designate an existing data object as an example, which will serve as the representative of a set of data objects.  ...  Acknowledgments The authors are grateful to members of KDE group, Database Laboratory, University of Tsukuba for the inspiring discussion.  ... 
doi:10.1007/978-0-387-35504-7_17 fatcat:paezcbndsveqlaxtmsydlu2tea

Indeterminate adaptive digital audio for games on mobiles [chapter]

Agnès Guerraz, Jacques Lemordant
2017 From Pac-Man to Pop Music  
Audio designers maintain direct control over the composition and presentation of an interactive game soundtrack.  ...  SMIL does not embed media objects (images, video/audio clips, text...etc): instead, a SMIL presentation consists of at least one XML file and some external media files (which can be distant or available  ... 
doi:10.4324/9781351217743-5 fatcat:25k6ver66jeldazwl55ahfqdkm
« Previous Showing results 1 — 15 out of 1,332 results