Incremental algorithms for optimizing model computation based on partial instantiation

被引：0
|
作者：
Univ of British Columbia, Vancouver, Canada [1 ]
机构：
来源：
J Logic Program | / 3卷 / 179-204期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Incremental algorithms for optimizing model computation based on partial instantiation
    Ng, RT
    Tian, XM
    JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (03): : 179 - 204
  • [2] Incremental methods for optimizing partial instantiation
    Ng, RT
    Tian, XM
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 287 - 301
  • [3] Incremental methods for optimizing partial instantiation
    Int J Pressure Vessels Piping, 2 (287):
  • [4] Randomized Incremental Algorithms for the PageRank Computation
    You, Keyou
    Tempo, Roberto
    Qiu, Li
    2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 431 - 436
  • [5] INCREMENTAL ALGORITHMS FOR AVERAGING AND CORRELATION COMPUTATION
    OJALA, L
    RAUTANEN, ET
    IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 1974, 23 (01) : 90 - 94
  • [6] OPTIMIZING INCREMENTAL COMPUTATION OF DATALOG PROGRAMS WITH NONDETERMINISTIC SEMANTICS
    FABRET, F
    REGNIER, M
    SIMON, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 646 : 155 - 170
  • [7] Theorem proving based on the partial instantiation technique
    Yamamoto, M
    Ohuchi, A
    Ohyanagi, T
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 1996, 79 (04): : 110 - 118
  • [8] Instantiation of a Generic Model for Load Balancing with Intelligent Algorithms
    Sesum-Cavic, Vesna
    Kuehn, Eva
    SELF-ORGANIZING SYSTEMS, PROCEEDINGS, 2008, 5343 : 311 - 317
  • [9] ON THE TRANSFORMATION OF LOGIC PROGRAMS WITH INSTANTIATION BASED COMPUTATION RULES
    DESCHREYE, D
    BRUYNOOGHE, M
    JOURNAL OF SYMBOLIC COMPUTATION, 1989, 7 (02) : 125 - 154
  • [10] Investigation on incremental and partial model transfers based on CIM
    Liu, Chongru
    Sun, Hongbin
    Zhang, Boming
    Wang, Zhinan
    Dianli Xitong Zidonghua/Automation of Electric Power Systems, 2004, 28 (12): : 51 - 55
12345