• GMRFLib公司

  • 引用286篇文章[sw06641]
  • 代表和理解GMRFs。各种各样的案例 研究说明GMRFs在复杂层次结构中的使用。。。
  • AdaBoost.MH版

  • 引用463篇文章[SW517号]
  • 最坏的-案例在线框架。我们的模式学习可以解释为一个广泛的。。。井的抽象延伸-研究一般决策理论之线上预测模型。。。在某些情况下案例,但适用于更普遍的。。。弱学习算法。我们也学习新boosting算法在该问题中的推广。。。
  • 游泳池++

  • 引用72篇文章[sw11964]
  • 问题:杂交不连续伽辽金(HDG)案例 学习. 椭圆偏微分方程数值方法。。。执行案例 学习对于HDG框架内的特定方法。这个学习提供。。。方法案例 学习是由计算繁重的局部矩阵生成阶段决定的。。。
  • 近地天体

  • 引用92篇文章[sw13740]
  • 补充了NEOS服务器,展示了优化案例 研究,提供优化信息和资源,并提供。。。
  • 快速检查

  • 引用89篇文章[sw07277]
  • 发电机。我们提供了一些案例 研究,其中成功使用了该工具。。。
  • CVC Lite公司

  • 引用了55篇文章[sw07581]
  • 协同定理证明者:a案例 学习结合HOL-Light和CVC-Lite。。。案例 学习结合定理证明。我们在HOL-Light中定义了一个派生规则。。。
  • 细胞景观

  • 引用73篇文章[sw09080]
  • 附加的计算分析和特性。几个案例 研究细胞景观插件的调查,包括。。。
  • 乌帕亚尔2K

  • 引用了43篇文章[sw01595]
  • 已应用于多个案例 研究(见第节案件 研究). 为了满足要求。。。产生于案例 研究,该工具已扩展为各种功能。当前。。。活性属性。在中生成诊断痕迹案例特定实时系统的验证。。。
  • 探针

  • 引用63篇文章[sw07084]
  • 实证评估以及一些案例 研究,强调ProB可以让用户发现。。。
  • 杰森

  • 参考文献62篇[sw06187]
  • 示例、问题和插图包括两个案例 研究证明了Jason的用法。。。
  • 引用44篇文章[sw10597]
  • 案例 学习优化算法的性能和可扩展性。我们分析性能。。。高性能并行体系结构。我们的案例 学习使用GPCG(梯度投影,共轭梯度)算法。。。
  • 吹毛求疵

  • 参考61篇文章[sw00622]
  • 有限子集的无限类型。作为案例 研究,我们考虑一个安全类型系统。。。
  • 如果-2.0

  • 引用46篇文章[SW303号]
  • 特别是,这次的陈述让我们学习异步实时原语的语义。。。工具箱已成功用于多个案例 研究. 尽管有兴趣。。。
  • 橡皮擦

  • 引用44篇文章[sw08922]
  • 观察行为。我们展示几个案例 研究包括本科课程和多线程。。。
  • 德奥普蒂姆

  • 引用41篇文章[sw08656]
  • 包装说明见案例 研究在为X射线反射计拟合帕拉特模型时。。。
  • 凯玛拉

  • 引用41篇文章[sw03709]
  • 在中验证防撞成功案例 研究从列车控制和空中交通管理。。。
  • 兹拉姆

  • 在38篇文章中引用[sw01038]
  • 穷尽搜索算法,如案例 学习这证明了同时实现。。。
  • 引用了37篇文章[sw21268号]
  • 其他工具。一系列案例 研究从文献中已经调查过。。。
  • Pex公司

  • 在34篇文章中引用[sw07263]
  • 实现高代码覆盖率。合二为一案例 学习,我们将Pex应用于核心组件。。。