• 斯巴菲斯

  • 10篇参考文献[SW13736]
  • 被迫朝向0,从而关掉(消除一些规则规则选择)。第三阶段估计…
  • CS Prolog

  • 7篇参考文献[SW0171]
  • 算术方程CS-PROLO使用四规则变量:消除树改写、方程式前导和后退…
  • 平方码

  • 38篇参考文献[SW03056]
  • 完整性结果。SqEMA是基于变换的规则其中最重要的是…阿克曼的结果消除一个公式中存在的量化谓词变量…对阿克曼施加额外要求规则我们得到限制的SimqEMA版本,保证…
  • 命题分解

  • 1篇参考文献[SW28 841]
  • 考虑到通常的冗余消除 规则重言式消除和包容),以及一些改进…
  • F2LP

  • 10篇参考文献[SW09898]
  • 第一消除的然后将得到的无量词公式转化为规则. 基于。。。
  • 竖琴

  • 15篇参考文献[SW26323 ]
  • 基于声明性启发的控制结构规则-容易让外部信息,例如语义…指导寻找证据和帮助消除无关的前提…
  • HOTSQL

  • 2篇参考文献[SW27 84]
  • 证明了广泛的SQL重写规则,包括那些来自数据库研究的文献…查询优化器(例如,子查询)消除其中一些改写规则以前从未证明过…
  • 福尔康夫

  • 7篇参考文献[SW10270]
  • 近似系数的评价规则在指数的框架中导出…转换表达式允许,包括其他消除0/0个不确定性,一致的精度…
  • 编辑规则

  • 1篇参考文献[SW29 956]
  • 内部(矩阵状格式)。规则可以用变量操纵消除价值替代方法…更多可以对数据进行测试规则错误的字段可以基于…
  • 规则3-EXT

  • 2篇参考文献[SW0390]
  • 规则)从3减少到2;(2)重复的例子是:消除的系统能够点火规则(s)部分,如果提取的任何规则不能…
  • GPOS PLOC

  • 8篇参考文献[SW26870]
  • 优化证据理论K近邻规则. 作为演示,对Gram进行了测试。周质和(5)质膜。消除冗余和同源偏倚,只有那些蛋白质…
  • 格拉格拉

  • 3篇参考文献[SW16822]
  • 用图形变换表示运算规则. 每个图形转换系统负责…初始网格、生成元矩阵消除树与直接求解算法的接口…图形定义的图形环境,图形变换规则以及图形变换系统。在本文中…
  • TSAN

  • 1篇参考文献[SW21723 ]
  • C++11的种族检测。错综复杂规则用于与…相关联的存储器排序和同步。数据竞赛很难消除从并发程序。动态数据竞争分析…
  • 拉娜

  • 1篇参考文献[SW30403]
  • Lana。这种语言允许分组。规则进入相干块并指定语言…验证目的,以及消除通过实现语法的常见编程错误的来源…
  • FME-IT

  • 0篇参考文献[SW17107]
  • 用于简化速率区域的上下文,例如,通过消除辅助率。然而,偶尔,程序变成…基于非负性性质的约束,链规则概率质量函数分解。这个时事通讯…
  • ExExcac

  • 1篇参考文献[SW28 621]
  • ExExcCs 2使用(1)a来解决可伸缩性规则特异性限制,(2)专家的新方法…TRAS的可用性通过消除以前的关键运行参数…
  • Q骨架

  • 0篇参考文献[SW15165]
  • 傅立叶莫茨金消除变量法(FME)消除和双重描述的变化…DDM/Chernikov邻接测试结构规则在FME。并行计算是重要的…
  • 自动平地机

  • 0篇参考文献[SW30353]
  • 学术界和产业界寻找和消除潜在的缺陷在程序早期…相同的规范,并使用重写规则表示错误模式及其对应的…
  • 2C

  • 1篇参考文献[SW24803]
  • 咕咕的工作几乎全部完成。消除的. 2C写在C.,它是设计…与C匹配规则. 纯文本风格的翻译可能会留下名字…