• 催眠

  • 在14篇文章中引用[sw02743]
  • 部分借用语法约束 搬运 规则(CHR)诚信限制条件. 假设是一种机制。。。
  • 伦塔尔

  • 引用9篇文章[sw07312]
  • 统一约束-基于并发和约束 搬运 规则,并发逻辑的两个显著扩展。。。
  • 吸血鬼

  • 引用232篇文章[sw02918]
  • 二元分解与叠加搬运平等。分裂规则以及负的等分。。。一些昂贵的操作,例如检查订购约束条件. 虽然系统的核心工作。。。
  • CHRAnimation公司

  • 第3条引用[sw18637]
  • CHRAnimation:动画工具约束 搬运 规则. 不同语言的可视化工具提供。。。这种语言的程序是有效的。约束 搬运 规则(CHR)目前被用作一般。。。仍然缺乏可视化工具。约束 搬运 规则(CHR)高层次的规则...
  • B-序言

  • 17条引用[sw06949]
  • 包括匹配条款,动作规则对于事件搬运,有限域约束正在求解,数组和哈希。。。
  • SMCHR公司

  • 引用2篇文章[sw09322]
  • 可满足模约束 搬运 规则.约束 搬运 规则(CHRs)是一个高级规则... 规范和实现的程序设计语言约束解决方案。CHR操纵一个代表。。。平连词限制条件. 默认情况下,CHR不支持更复杂的目标。。。本文引入可满足模约束 搬运 规则(SMCHR):紧密结合。。。
  • TCHR

  • 引用4篇文章[sw01345]
  • 以轻量化的方式集成约束 搬运 规则,一种高级语言约束...
  • 引用4篇文章[sw06507]
  • 镉是一种规则基于程序设计语言的求解器无关编译约束各种模型。。。基于约束 搬运 规则(CHR)和项重写模结合性,交换性。。。上下文,如变量声明或其他限制条件. 然而,CC使镉的正常化明显复杂化。。。从上到下修正了评估手柄CC匹配。我们评估性能。。。
  • CHR公司

  • 第3条引用[sw20512]
  • 约束 搬运 规则(CHR)是一个坚定的选择规则-基于语言嵌入在Prolog中。。。专为写作而设计约束解算器,对于提供特定于应用程序的限制条件...
  • CHR.js公司

  • 引用2篇文章[sw28857]
  • js:JavaScript中的CHR实现。约束 搬运 规则(CHR)通常被编译成逻辑。。。提前编译器,导致同步约束性能更好的解算器。因为。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 定理证明器,逻辑程序设计语言,限制条件解决方案和决策程序,并提供。。。重写本质上是不确定的,因为规则可用于不同位置。。。只有一个结果。这个声明性的搬运非决定论是语言的一部分。。。
  • 红衣主教

  • 在10篇文章中引用[sw06999]
  • 限制条件,现有集约束解决方案不足以手柄很多问题。。。重写规则约束并用实验结果说明其有效性。。。
  • 迪恩帕尔

  • 1条引用[sw06424]
  • PMCFGs)。特别是,它支持高效的动态规则随时补充语法。。。代币。此外,我们手柄 限制条件在一个规则. 这允许语法上。。。
  • 温古尔夫

  • 在14篇文章中引用[sw19224]
  • 程序能够搬运最多1000主限制条件和1000个非负变量。。。[B.1]规则和分支定界过程(有各种。。。
  • 原型-1

  • 参考7篇文章[sw02876]
  • 外部关系数据库和有限域限制条件. 类型概念包括用户定义的排序、substrot。。。以及递归函数自由推导规则可以定义。PROTOS-L还提供。。。系统。这些功能以及文件搬运,术语操作等都是嵌入式安全的。。。OSF/Motif,以及有限域约束解算器。。。
  • 农民

  • 引用4篇文章[sw26987]
  • 高效手柄具有大量列的数据集。此外,协会的数量规则生成。。。规则来自微阵列数据集。而不是寻找个体间的联系规则,农夫觉得有趣规则组。。。规则从同一组行生成的。不像传统的规则挖掘算法。。。有趣的规则在行枚举空间中,并利用所有用户指定的限制条件包括最低。。。
  • 声纳

  • 引用2篇文章[sw26291]
  • 限制条件并让SAT解算器决定满足性。搬运... 词级简化系列规则然后将公式应用于。。。
  • DCCP公司

  • 第3条引用[sw14722]
  • 解决涉及目标和约束函数。。。凸凹函数和一些规则把它们结合在一起。用。。。研究凸凹规划,特别是搬运函数的域。。。
  • 伊里特

  • 引用5篇文章[sw21528]
  • 许多独特的功能有助于搬运包括强代数和符号几何。。。利用复合),将自由曲面分解为分段统治以及分段可展曲面,并转化为自适应。。。基于强大样条的非线性限制条件解算器。该求解器能够同时计算。。。
  • Lpopt公司

  • 1条引用[sw21595]
  • 编程规则变成更小的规则那更容易手柄对于当前解算器。工具。。。专门为手柄ASP语言的标准语法(ASP核心)和使。。。手柄完整的ASP语法,包括复杂的结构,如聚合,弱限制条件,和算术表达式。。。