Formal specification of multimedia authoring

Proceedings - International Workshop on Multimedia Software Development, MMSD 1996

Volumn , Issue , 1996, Pages 128-137

  Shih, T K ^a   Chiang, Ding An ^a   Keh, Huan Chao ^a   Shis, Chien Chou ^a  

^a TAMKANG UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; MESSAGE PASSING; MULTIMEDIA SYSTEMS; SOFTWARE DESIGN;

INFERENCE SYSTEMS; INTERACTIVE MULTIMEDIA PRESENTATION; INTERACTIVE PRESENTATION; MULTI-MEDIA AUTHORING; TWO VIEWS;

FORMAL SPECIFICATION;

EID: 0347641184     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MMSD.1996.557764     Document Type: Conference Paper

References (15)

1. E. Andre, et. al., "WIP: The Automatic Synthesis of Multimodal Presentations," In Intelligent Multimedia Interfaces, edited by Mark T. Maybury, American Association for Artificial Intelligence, pp 75-93, 1993.
2. V. Anupam and C. L. Bajaj, "Shastra: Multimedia Collaborative Design Environment," IEEE Multimedia, summer, 1994.
3. Y. Arens, et. al., "Presentation Design Using an Integrated Knowledge Base," In Intelligent User Interfaces, edited by J. W. Sullivan and S. W. Tyler, ACM Press, pp 241-258, 1991.
4. Y. Arens, et. al., "On the Knowledge Underlying Multimedia Presentations," In Intelligent Multimedia Interfaces, edited by Mark T. Maybury, American Association for Artificial Intelligence, pp 280-306, 1993.
5. R. B. Dannenberg and R. L. Joseph, "Human Computer Interaction in the Piano Tutor," In Multimedia Interface Design, edited by M. M. Blattner and R. B. Dannenberg, ACM Press, pp 65-78, 1992.
6. S. K. Feiner and K. R. McKeown, "Automating the Generation of Coordinated Multimedia Explanations," In Intelligent Multimedia Interfaces, edited by Mark T. Maybury, American Association for Artificial Intelligence, pp 117-138, 1993.
7. S. K. Feiner, et. al., "Towards Coordinated Temporal Multimedia Presentations," In Intelligent Multimedia Interfaces, edited by Mark T. Maybury, American Association for Artificial Intelligence, pp 139-147, 1993.
8. E. Schlusselberg, "Dans le Quartier St. Gervais: An Exploratory Learning Environment," In Multimedia Computing: Case Studies from MIT Project Athena, eited by M. E. Hodges, and R. M. Sasnett, Addison-Wesley, pp 103-115, 1993.
9. J. D. Mackinlay, "Automatic Design of Graphical Presentations," Ph. D. thesis, Stanford University, 1987.
10. J. D. Mackinlay, "Search Architectures for the Automatic Design of Graphical Presentations," In Intelligent User Interfaces, edited by J. W. Sullivan and S. W. Tyler, ACM Press, pp 281-292, 1991.
11. J. G. Neal and S. C. Shapiro, "Knowledge Based Multimedia Systems," In Multimedia Systems, edited by J. F. K. Buford, ACM Press, pp 403438, 1994.
12. B. Prabhakaran and S. V. Raghavan, "Synchronization models for multimedia presentation with user participation," Multimedia Systems, Vol. 2, pp 53-62, Springer-Verlag, 1994.
13. J. Michael, Spivey, The Z Notation: A Reference Manual. International Series in Computer Science. Prentice Hall, 1989.
14. Timothy K. Shih, "On Making a Better Interactive Multimedia Presentation," in Proceedings ofthe International Conference on Multimedia Modeling, Singapore, 1995.
15. Timothy K. Shih, "An Artificial Intelligent Approach to Multimedia Authoring," in Proceedings of the Second IASTED/ISMM International Conference on Distributed Multimedia Systems and Applications, Stanford, California, U.S.A., 1995.