• OpenRuleBench公司

  • 引用8篇文章[sw12473]
  • 性能分析规则 发动机. The语义的网络倡议…合并和分析语义的信息。因为规则-基于系统…不同规则 发动机目前这项研究涉及五种不同的技术。。。
  • C模型

  • 引用72篇文章[sw04435]
  • 选择规则。答案集解算器Cmodels使用SAT解算器作为搜索发动机用于枚举…基于二者之间的关系语义学:答案集和完成语义学...
  • 洛特雷克

  • 27条引用[sw07684]
  • 逻辑表格研究工程同伴。本文描述了一个通用的tableau系统规则以及策略。它的目的是覆盖所有的克里普克-语义的基于逻辑。。。
  • KJS公司

  • 参考7篇文章[sw18992]
  • 语义学,我们写了测试来练习这些规则。新的测试揭示了…产品JavaScript中的缺陷发动机(ChromeV8,SafariWebkit,Firefox SpiderMonkey)和其他。。。语义学KJS是符号可执行的,因此可以用于形式分析和验证。。。
  • UMLsec公司

  • 引用3篇文章[sw12754]
  • 正式的语义学UML的一个简化片段。建立规则安全性工程...
  • f2lp公司

  • 在10篇文章中引用[sw09898号]
  • 稳定模型下的一阶理论语义学变成一个答案集程序,这样…得到的无量词公式就变成了规则.基于稳定模型之间的关系,f2lp也可以作为推理工具发动机对于一般的限定理论。我们举例说明。。。
  • 竖琴

  • 引用16条[sw26323]
  • 交互地和作为推论使用发动机用于人工智能应用。因此,竖琴……陈述式启发式规则-使它很容易让外部信息,例如。语义的世界知识。。。
  • 百万吨

  • 引用16条[sw07905]
  • 重新定义过渡规则,这是SOS规范中的情况,当…完全Maude作为语义学-维护mso之间的映射和重写逻辑…Maude的高效执行和分析发动机我们在几个不同的。。。
  • ICOT公司

  • 引用3篇文章[sw00432]
  • 基于编程。电流的主要缺点规则-基于专家系统的语言是它们…不能捕获所有语义学知识的知识,尤其是复杂的工程域。对于一个知识…面向对象的范例和规则-基于机制可能需要集成。。。
  • 诺尔

  • 引用5篇文章[sw27501号]
  • 尽管如此,理论上的挑战在于语义的差异。诺尔已经被开发…结合了专门研究猫头鹰和规则–但它也可用…增强了与its的集成规则 发动机,为大量标准提供支持。。。
  • 鬣狗

  • 1条引用[sw39405]
  • 实时软件控制理论工程.固有的离散和连续行为的纠缠…健全和充分的运作语义学已经有人提议了。后者语义学但是没有提供……混合动力系统仿真(例如语义学特征规则有无数的前提)。我们介绍。。。
  • 巴特

  • 引用2篇文章[sw01950]
  • 其他可用的概率技术工程师建立分类问题解决方案。本文讨论了…知识群-一个生产的集合规则把问题数据映射成一个离散的尺度…属性继承,基于概率语义学,即将实施。之间的关系。。。
  • 劫机者

  • 1条引用[sw16340]
  • 不影响整体执行流程语义的。此技术已被有效地使用…根据某些用户指定的执行流程规则,限制执行开销…无需修改指令插入发动机我们还提供了一个实验评估。。。
  • 阿多-C

  • 引用文献257篇[sw00019]
  • ADOL-C:C/C++的自动微分。我们呈现。。。
  • ACL2

  • 引用291篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 可爱的

  • 引用66篇文章[sw00177]
  • 可爱:一个共同的单元测试发动机对于C。。。