English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 55184/89457 (62%)
造访人次 : 10662585      在线人数 : 23
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜寻范围 查询小技巧:
  • 您可在西文检索词汇前后加上"双引号",以获取较精准的检索结果
  • 若欲以作者姓名搜寻,建议至进阶搜寻限定作者字段,可获得较完整数据
  • 进阶搜寻

    jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/71470

    题名: Formal model of temporal properties underlying multimedia presentations
    作者: Shih, Timothy K.;Hwang, Lain-jinn;Tsai, Jich-yan
    贡献者: 淡江大學資訊工程學系
    关键词: Multimedia;Formal specification;Specification language;Information layout;System design;Inference rule;Synchronization;Temporal logic;User interface;Implementation;Interactive system;Information technology
    日期: 1997-07-01
    上传时间: 2011-10-24 01:13:43 (UTC+8)
    摘要: Formal specifications use mathematical notations to precisely describe what properties a system need to have instead of how these properties are implemented. The Z notation is a formal specification language widely used in Europe. In this paper, we use the Z notation to analyze the temporal knowledge underlying a multimedia presentation. We then present a system based on the four temporal specification statements that we propose in this paper. The system visualize the design of a multimedia presentation. The early experience of using the system shows that it is feasible to use logic inference rules to assist the design of good multimedia presentations.
    關聯: 1997 international conference of multimedia computing and systems, pp.135-150
    显示于类别:[資訊工程學系暨研究所] 期刊論文





    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library & TKU Library IR teams. Copyright ©   - 回馈