LAZY NARROWING IN A GRAPH MACHINE

被引：0
|
作者：
MORENONAVARRO, JJ
KUCHEN, H
LOOGEN, R
RODRIGUEZARTALEJO, M
机构：
[1] RHEIN WESTFAL TH AACHEN, LEHRSTUHL INFORMAT II, W-5100 AACHEN, GERMANY
[2] UNIV COMPLUTENSE MADRID, FAC CC MATEMAT, DEPT INFORMAT & AUTOMAT, E-28040 MADRID, SPAIN
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 463卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：298 / 317
页数：20
相关论文
共 50 条
  • [31] Higher-order lazy narrowing calculus: A solver for higher-order equations
    Ida, T
    Marin, M
    Suzuki, T
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 479 - 493
  • [32] Lazy Context Cloning for Non-Deterministic Graph Rewriting
    Antoy, Sergio
    Brown, Daniel W.
    Chiang, Su-Hui
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (01) : 3 - 23
  • [33] Lazy and Eager Relational Learning Using Graph-Kernels
    Verbeke, Mathias
    Van Asch, Vincent
    Daelemans, Walter
    De Raedt, Luc
    STATISTICAL LANGUAGE AND SPEECH PROCESSING, SLSP 2014, 2014, 8791 : 171 - 184
  • [34] LMCC: Lazy Message and Centralized Cache for Asynchronous Graph Computing
    Xue, Ruini
    Dong, Zhibin
    Su, Wei
    Li, Xiaofang
    ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP 2018, PT II, 2018, 11335 : 60 - 75
  • [35] Lazy, Lazy, Lazy
    Mahler, Nicolas
    Kilic, Ilse
    Widhalm, Franz
    Strobl, Edda
    Kaplan, Helmut
    Hofer, Regina
    Maurer, Leopold
    Konrad, Fatzinek Michaela
    Falkner, Brigitta
    Wolf, Heinz
    Lust, Ulli
    Suess, Franz
    LITERATUR UND KRITIK, 2018, (525): : 31 - +
  • [36] Machine learning from examples: Inductive and Lazy methods
    Artificial Intelligence Research, Inst, Bellaterra, Spain
    Data and Knowledge Engineering, 1998, 25 (1-2): : 99 - 123
  • [37] Machine Learning from examples: Inductive and Lazy methods
    de Mantaras, RL
    Armengol, E
    DATA & KNOWLEDGE ENGINEERING, 1998, 25 (1-2) : 99 - 123
  • [38] TIM - A SIMPLE, LAZY ABSTRACT MACHINE TO EXECUTE SUPERCOMBINATORS
    FAIRBAIRN, J
    WRAY, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 274 : 34 - 45
  • [39] Narrowing the semantic gap in virtual machine introspection
    Cui, Chao-Yuan
    Wu, Yun
    Li, Ping
    Zhang, Xiao-Ming
    Tongxin Xuebao/Journal on Communications, 2015, 36 (08):
  • [40] LTR*: Rapid Replanning in Executing Consecutive Tasks with Lazy Experience Graph
    Lai, Tin
    Ramos, Fabio
    2022 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2022, : 8784 - 8790
12345