• 棱镜

  • 引用397篇文章[sw01186]
  • BDDs(二进制决策图)和MTBDDs(多-终端一个基于稀疏矩阵的。。。成功地用于概率分析终止,性能和服务质量属性。。。
  • 代码23

  • 引用261篇文章[sw06600]
  • 指定集成是否要终止在零度方向上。。。整合是为了终止此事件函数的值为0,否则为0。方向。。。
  • 批准

  • 引用145篇文章[sw07831]
  • A第1.2条:自动终止依赖对框架中的证明。批准。。。最强大的自动化系统终止术语重写系统(TRSs)的证明。。。允许完全灵活地组合不同的终止证明技术。基于这个框架,一个。。。也是第一个终止可由用户完全配置的校准程序。。。
  • Walksat公司

  • 在204篇文章中引用[sw04328]
  • 赋值满足所有子句,算法终止,返回分配。否则,将翻转一个变量。。。
  • 阿萨德

  • 在168篇文章中引用[sw02524]
  • M型(终止如果没有这样的M,则失败)。如果M是答案。。。
  • 提洛尔人

  • 引用89篇文章[sw07830]
  • 提洛尔人终止自动证明工具(T2)和终止... 完全重新设计的TTT继任者。非流动(非流动)终止技术包括:近似依赖图,参数过滤。。。
  • 收入

  • 引用68篇文章[sw28907]
  • 描述。收入建立汇合统一终止从方程组重写系统。特别是。。。重点是机械化终止证据。事实上,REVE。。。实际上可以称之为自动,因为终止完全集成到算法中。收入。。。使用增量终止一种基于递归分解序的方法终止证据。。。
  • 田纳西州

  • 引用126篇文章[sw05140]
  • 截断牛顿法终止之前的迭代。一个预处理截断牛顿法。。。
  • 佩斯卡

  • 引用126篇文章[sw13664]
  • Pesca都可以在终端打印成乳胶文件。用户。。。
  • 查找

  • 引用81篇文章[sw21614]
  • 逻辑错误的入侵。证明终止被视为单独的练习。最后。。。
  • 塞塔

  • 引用42篇文章[sw06584]
  • 认证终止使用CeTA的证明。有许多自动工具需要证明终止... 工具使用许多复杂的终止标准。因此产生了证据。。。定理证明者Isabelle/HOL自动证明终止证明。为此,我们首先正式。。。术语重写理论包括三个主要方面终止标准:依赖关系对、依赖关系图和约简。。。
  • 颜色

  • 在38篇文章中引用[sw09806]
  • 在自动验证中的应用终止证书。终止是程序的一个重要属性。。。为解决决策问题而开发的终止因为它是不可判定的。。。在自动检定中的应用终止证书,由终止工具。。。
  • 投掷

  • 引用68篇文章[sw07260]
  • 违规和非崩溃程序-终止. 初步实验以单元测试为例。。。
  • CiME公司

  • 在38篇文章中引用[sw09970]
  • 恩诺·奥勒布施在比勒费尔德大学终止逻辑程序;MU-TERM工具。。。www.dsic.upv.es/slucas/csr/termination/muterm/)终止上下文敏感的重写;CARIBOO工具(由INRIA Nancy开发。。。(总估计值)终止以及MTT工具(http://www.lcc.uma.es/duran/MTT。。。终止Maude项目。CiME2不再被维护,当前开发的版本。。。
  • MU-TERM公司

  • 在34篇文章中引用[sw10015]
  • 术语:证明的工具终止对上下文敏感的重写。重写的限制最终会。。。实现终止通过修剪从每个项发出的所有无限重写序列。上下文相关重写。。。可以用来自动证明终止企业社会责任。该工具实现生成。。。适当的证明顺序终止用有理数的多项式解释CSR。。。
  • 达夫尼

  • 参考文献62篇[sw00183]
  • 帧规格(读写集),以及终止韵律学。为了进一步支持规范,语言。。。
  • LSMR

  • 参考61篇文章[sw12940]
  • 单调)更安全的是终止LSMR早。我们还报道了一些再正方化的实验。。。
  • SPDE公司

  • 在39篇文章中引用[sw16714]
  • 在计算机上交互使用终端. 在许多情况下,决定系统是完全解决的。。。将解算法的信息输入到终止. 该软件包只能用于。。。