• 棱镜

  • 390篇参考文献[SW01186]
  • BDDs(二元决策图)和MTBDDS(多)终端BDDS);一种基于稀疏矩阵的方法。成功地用于概率分析终止性能、性能和服务质量属性…
  • ODE23

  • 247篇参考文献[SW06600 ]
  • 指定集成是否为终止01:00和方向是否…整合就是终止此事件函数的01:00,否则为0。说明书
  • 证明

  • 143篇参考文献[ SW07831 ]
  • 1.2:自动终止依赖对框架中的证明。证明…最强大的自动化系统终止术语重写系统的证明(TRSs…允许完全灵活的不同组合终止证明技术。由于这个框架,证明…也是第一终止可由用户完全配置的证明器…
  • 沃克托

  • 202篇参考文献[SW04328 ]
  • 赋值满足所有子句,算法终止返回作业。否则,变量翻转…
  • 阿萨特

  • 160篇参考文献[SW02524]
  • M模型终止如果没有这样的M存在故障。如果M是答案…
  • 提洛尔

  • 89篇参考文献[SW07830]
  • 提洛尔终止工具2(TTT2)是自动证明(和反驳)的工具。终止完全重新设计的TTT继任者。电流(非)终止技术包括:近似依赖图、参数过滤…
  • 雷沃

  • 68篇参考文献[SW28 907]
  • 描述。RevE构建汇合均匀终止术语从方程组重写系统。特别是…重点放在机械化方面。终止证明。的确,ReVE…它实际上可以被称为自动的终止完全集成到算法中。使……使用增量终止基于递归分解排序的构造方法终止证明…
  • 总氮

  • 117篇参考文献[SW05140]
  • 截断牛顿法是终止迭代较早。预条件截断牛顿法…
  • 佩斯卡

  • 116篇参考文献[SW13664 ]
  • 佩斯卡都可以看到终端并打印到胶乳文件中。用户…
  • 发现

  • 80篇参考文献[SW21614]
  • 逻辑错误的入侵。证明终止被视为单独的运动。最后…
  • 塞塔

  • 40篇参考文献[ SW065 84]
  • 认证终止使用CETA的证明。有许多自动工具可以证明终止工具使用许多复杂的组合终止标准。因此,产生的证据…定理证明器伊莎贝尔/HOL自动证明终止校样。为此,我们首先正式化…术语重写理论包括三大终止标准:依赖对,依赖图,和减少…
  • 飞镖

  • 68篇参考文献[SW07260]
  • 程序崩溃、断言违反和非终止. 初步实验,单元测试几个例子…
  • 颜色

  • 37篇参考文献[SW09806]
  • 自动验证的应用终止证书终止是程序的一个重要属性…发展以解决决策问题终止因为特定的问题(因为它是不可判定的……)自动验证的应用终止证书,由终止工具
  • 西梅

  • 38篇参考文献[SW0970]
  • 比勒费尔德大学的恩诺终止逻辑程序;MU-术语工具…www. DSIC.USP/SLUCAS/CSR/终止/ MUMENT/)终止上下文敏感改写;CARIOBO工具(在伊里亚娜南希开发…盛大的)终止在策略下重写;MTT工具(http://www. Lcc.UMA.Es/yDura/MTT…终止莫德计划。CIME2不再被维护,并且目前开发的版本…
  • 多学期

  • 34篇参考文献[SW10015]
  • 术语:证明工具终止上下文相关重写。改写的限制最终会…实现终止通过修剪从每个学期发布的所有无限重写序列。上下文敏感重写…可用于自动证明终止企业社会责任。工具实现生成…适当的证明顺序终止CSR的多项式解释的理性…
  • 达夫尼

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

  • 56篇参考文献[SW12940]
  • 单调)更安全终止LSMR早期。我们还报告了一些重新正交化的实验…
  • SPDE

  • 39篇参考文献[SW16714]
  • 在计算机上交互使用终端. 在许多情况下,确定系统完全解决了…求解算法的输入信息终止. 包装应该只使用…