Using interval temporal logic and inference rules for the automatic generation of multimedia presentations

被引：6
|
作者：
Shih, TK [1 ]
Lo, SKC [1 ]
Fu, SJ [1 ]
Chang, JB [1 ]
机构：
[1] TAMKANG UNIV,DEPT COMP SCI & INFORMAT ENGN,TAMSUI,TAIWAN
来源：
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS | 1996年
关键词：
D O I：
10.1109/MMCS.1996.535008
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：425 / 428
页数：4
相关论文
共 50 条
  • [1] On automatic generation of multimedia presentations
    Chung, CM
    Shih, TK
    INFORMATION SCIENCES, 1997, 97 (3-4) : 293 - 321
  • [2] On automatic generation of multimedia presentations
    Tamkang Univ, Tamsui, Taiwan
    Inf Sci, 3-4 (293-321):
  • [3] Mexitl:: multimedia in executable interval temporal logic
    Bowman, H
    Cameron, H
    King, P
    Thompson, S
    FORMAL METHODS IN SYSTEM DESIGN, 2003, 22 (01) : 5 - 38
  • [4] Mexitl: Multimedia in Executable Interval Temporal Logic
    Howard Bowman
    Helen Cameron
    Peter King
    Simon Thompson
    Formal Methods in System Design, 2003, 22 : 5 - 38
  • [5] Inference engine of extended interval temporal logic
    Liu, Ting
    Lin, Chuang
    Liu, Wei-Dong
    Jisuanji Xuebao/Chinese Journal of Computers, 2002, 25 (06): : 637 - 644
  • [6] Modeling, consistency and inference of extended interval temporal logic
    Lin, Chuang
    Qu, Yang
    Li, Ya-Juan
    Jisuanji Xuebao/Chinese Journal of Computers, 2002, 25 (12): : 1338 - 1347
  • [7] Extended interval temporal logic for undetermined interval: Modeling and linear inference using time Petri nets
    Lin, Chuang
    Liu, Ting
    Qu, Yang
    2001, Science Press (24):
  • [8] Reasoning and Inference Rules in Basic Linear Temporal Logic BLTL
    Babenyshev, S.
    Rybakov, V.
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II, 2010, 6277 : 224 - 233
  • [9] Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules
    Rybakov, Vladimir
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT III, 2010, 6278 : 323 - 330
  • [10] Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow"
    Rimatsky, Vitaliy V.
    Ganchukova, Olga V.
    JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2024, 17 (03): : 347 - 354
12345