• 直接

  • 引用了65篇文章[sw03054]
  • 低效率的几个主要来源,以及实验性的 评价最新的一些改进。。。
  • 冲浪

  • 参考170篇文章[sw29761]
  • 台阶。文章介绍了实验的标准结果评价设置,以及。。。
  • 夸夫尔

  • 引用了65篇文章[sw07278]
  • 量化布尔公式评价者在学习中,夸菲是一种实验的QBF解算器。这个想法。。。每个文件。代码是实验的以及算法评价只有。它应该编译在。。。
  • PHAT公司

  • 在34篇文章中引用[sw08780]
  • 高效操控。我们在实验的 评价选择一个合适的代表。。。
  • 莫德国家公园

  • 引用了29篇文章[sw12159]
  • 同时提供完整性证明,以及实验的 评价他们对莫德表演的影响。。。
  • 台积电

  • 参考第23条【sw20272】
  • 还可以有效地遍历复杂的表达式,并且实验的 评价即使。。。
  • 磷虾

  • 引用18条【sw28422】
  • 任务介绍Krimp算法。实验性的 评价显示通常只有数百个项集。。。
  • 海喇叭

  • 引用15篇文章[sw18274]
  • 海号角由实验的 评价使用SV-COMP的基准测试。。。
  • 康塞德

  • 在34篇文章中引用[sw14945]
  • 具有测试和评价这些基于数据的建模技术。康塞德。。。让用户分析实验的数据、识别和评价在一个简单的模型。。。
  • 通用银行

  • 引用16条[sw27064]
  • 算法提供了另一种方法评价微阵列实验的结果结合了关于。。。
  • 卡奇

  • 在10篇文章中引用【sw25922】
  • 解算器叫做CAQE。这个实验的 评价结果表明,CAQE与目前的。。。
  • 霍德萨

  • 在10篇文章中引用[sw16712]
  • 交叉通信和搜索。不相上下实验性的 评价的它使用了所有的基准问题。。。
  • GPU验证

  • 在10篇文章中引用[sw11260]
  • 方法,并实验性的 评价的通过与工具的比较。。。
  • 普兰明

  • 引用9篇文章[sw01592]
  • 现实世界的规划系统。我们实验性的 评价PlanMine发现的规则表明。。。
  • 变形杆菌

  • 引用9篇文章[sw10080]
  • 相应的SAT解算器。我们的实验的 评价用了一个涉及四个。。。
  • KPCA加LDA

  • 引用69篇文章[sw08766号]
  • 评价的使用FERET人脸数据库和CENPARMI手写数字数据库。这个实验的结果。。。
  • 雪球

  • 引用8篇文章[sw18567]
  • 任务,并提出实验的 评价雪球和类似技术的集合。。。
  • 费希格斯

  • 引用了43篇文章[sw00282]
  • 可观察到-版本2.6.5。问题性质实验的对希格斯玻色子的搜索。。。输入和评估许多MSSM希格斯玻色子观测与实验的希格斯玻色子物理。。。