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 条
  • [31] Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions
    Flamm, Christoph
    Merkle, Daniel
    Stadler, Peter F.
    Thorsen, Uffe
    Graph Transformation, 2016, 9761 : 206 - 222
  • [32] Towards Automatic Poetry Generation using Constraint Handling Rules
    el Bolock, Alia
    Abdennadher, Slim
    30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1868 - 1873
  • [33] Extended Interval-Valued Confidence for Inference of Knowware System using Hybrid Logic
    Ding, Liya
    Lo, Sio-Long
    17TH INTERNATIONAL CONFERENCE IN KNOWLEDGE BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS - KES2013, 2013, 22 : 873 - 882
  • [34] AUTOMATIC VERIFICATION OF SEQUENTIAL CONTROL-SYSTEMS USING TEMPORAL LOGIC
    MOON, I
    POWERS, GJ
    BURCH, JR
    CLARKE, EM
    AICHE JOURNAL, 1992, 38 (01) : 67 - 75
  • [35] Symbolic test generation using a temporal logic with constrained events
    Liu, Daguang
    Wu, Peng
    Lin, Huimin
    FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS, 2007, 4700 : 467 - +
  • [36] Identifying Inference Rules for Automatic Metadata Generation from Pre-existing Metadata of Related Resources
    Margaritopoulos, Merkourios
    Kotini, Isabella
    Manitsaris, Athanasios
    Mavridis, Ioannis
    METADATA AND SEMANTICS, 2009, : 155 - 165
  • [37] Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic
    Zhou, Yuchen
    Maity, Dipankar
    Baras, John S.
    2016 EUROPEAN CONTROL CONFERENCE (ECC), 2016, : 690 - 695
  • [38] Planning and Runtime Monitoring of Robotic Manipulator using Metric Interval Temporal Logic
    Lin, Zhenyu
    Baras, John S.
    2019 13TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2019,
  • [39] Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses
    Pedro Lopez-Garcia
    Francisco Bueno
    Manuel Hermenegildo
    New Generation Computing, 2010, 28 : 177 - 206
  • [40] Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses
    Lopez-Garcia, Pedro
    Bueno, Francisco
    Hermenegildo, Manuel
    NEW GENERATION COMPUTING, 2010, 28 (02) : 177 - 206
12345