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 条
  • [41] Automatic Hint Generation for Logic Proof Tutoring Using Historical Data
    Barnes, Tiffany
    Stamper, John
    EDUCATIONAL TECHNOLOGY & SOCIETY, 2010, 13 (01): : 3 - 12
  • [42] Automatic recognition of pulse repetition interval modulation using temporal convolutional network
    Dadgarnia, Abolfazl
    Sadeghi, Mohammad Taghi
    IET SIGNAL PROCESSING, 2021, 15 (09) : 633 - 648
  • [43] Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks
    Baharisangari, Nasim
    Hirota, Kazuma
    Yan, Ruixuan
    Julius, Agung
    Xu, Zhe
    IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 2096 - 2101
  • [44] Automatic Construction of Attack Graphs in Cyber Physical Systems Using Temporal Logic
    Moulin, Mark
    Eyisi, Emeka
    Shila, Devu Manikantan
    Zhang, Qinqing
    2018 IEEE MILITARY COMMUNICATIONS CONFERENCE (MILCOM 2018), 2018, : 945 - 950
  • [45] Formal test generation for sequential circuits using global temporal logic
    He, XH
    Li, XW
    CAD/ GRAPHICS TECHNOLOGY AND ITS APPLICATIONS, PROCEEDINGS, 2003, : 347 - 348
  • [46] Using discretization and Bayesian inference network learning for automatic filtering profile generation
    Lam, W
    Low, KF
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2000, 30 (03): : 340 - 351
  • [47] OLYBIA: Ontology-based automatic image annotation system using semantic inference rules
    Park, Kyung-Wook
    Jeong, Jin-Woo
    Lee, Dong-Ho
    ADVANCES IN DATABASES: CONCEPTS, SYSTEMS AND APPLICATIONS, 2007, 4443 : 485 - +
  • [48] STAn: analysis of data traces using an event-driven interval temporal logic
    Laura Panizo
    María-del-Mar Gallardo
    Automated Software Engineering, 2023, 30
  • [49] STAn: analysis of data traces using an event-driven interval temporal logic
    Panizo, Laura
    Gallardo, Maria-del-Mar
    AUTOMATED SOFTWARE ENGINEERING, 2023, 30 (01)
  • [50] Simulating real-time traffic on IP networks using interval temporal logic
    Gerdsmeier, T
    Cardell-Oliver, R
    ESM'99 - MODELLING AND SIMULATION: A TOOL FOR THE NEXT MILLENNIUM, VOL 1, 1999, : 409 - 414
12345