Fast subsumption checks using anti-links

被引：0
|
作者：
Intel Corp, Chandler, United States [1 ]
机构：
来源：
J Autom Reasoning | / 1卷 / 47-83期
关键词：
Number:; CCR-9101208; Acronym:; NSF; Sponsor: National Science Foundation; -; DFG; Sponsor: Deutsche Forschungsgemeinschaft;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Slow Links, Fast Links, and the Cost of Gossip
    Sourav, Suman
    Robinson, Peter
    Gilbert, Seth
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2019, 30 (09) : 2130 - 2147
  • [22] Choice checks juice anti-oxidants
    不详
    JOURNAL OF COMPLEMENTARY MEDICINE, 2007, 6 (06): : 15 - 15
  • [23] DigRF V4 Tester Checks Baseband/RF Links
    Maliniak, David
    MICROWAVES & RF, 2011, 50 (04) : S30 - S30
  • [24] checkmate: Fast Argument Checks for Defensive R Programming
    Lang, Michel
    R JOURNAL, 2017, 9 (01): : 437 - 445
  • [25] FAST MEMORY TEST CHECKS INDIVIDUAL BITS.
    Milner, Edward J.
    EDN, 1983, 28 (21) : 227 - 230
  • [26] Fast and effective soft links
    Akinyemi, John A.
    Clarke, Charles L. A.
    Software - Practice and Experience, 2013, 43 (05) : 577 - 593
  • [27] Fast and effective soft links
    Akinyemi, John A.
    Clarke, Charles L. A.
    SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (05): : 577 - 593
  • [28] Navigation of an autonomous ground vehicle using the subsumption architecture
    Johnson, PJ
    Chapman, KL
    Bay, JS
    MOBILE ROBOTS XI AND AUTOMATED VEHICLE CONTROL SYSTEMS, 1997, 2903 : 54 - 62
  • [29] Using empirical subsumption to reduce the search space in learning
    Champesme, M
    CONCEPTUAL STRUCTURES: APPLICATIONS, IMPLEMENTATION AND THEORY, 1995, 954 : 188 - 201
  • [30] Dynamic invocation model of web services using subsumption relations
    Nagano, S
    Hasegawa, T
    Ohsuga, A
    Honiden, S
    IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 150 - 156
12345