• 多芬

  • 在174篇文章中引用[sw04313]
  • 元件组件。提供一个简单的一致的用户界面,DOLFIN包装功能。。。
  • 规格#

  • 在122篇文章中引用[sw04598]
  • 规范编程系统的体系结构,组成面向对象规范编程语言。。。规范,验证器可以检查一致性在程序和它的规范之间。。。
  • 塞萨尔

  • 引用160篇文章[sw08510]
  • 谓词变换器。系统的验证包含通过自动翻译获得。。。
  • 伊洛特

  • 引用160篇文章[sw08734]
  • 一定的门槛。第二类方法包含从修改中获得的技术。。。
  • 撒谎

  • 引用158篇文章[sw01075]
  • 系统的核心。这个核心包含代表大约100个数学函数的程序。。。
  • UTA Plus

  • 在147篇文章中引用[sw16225]
  • 基于序数回归原理,包括在求解一个小的线性规划时。。。
  • 麦克白

  • 参考文献103篇[sw16199]
  • 进入软件,它会自动验证一致性. 生成了一个数值尺度。。。完全一致的所有的判断都由决策者决定。通过类似的过程重量。。。
  • MuPAD公司

  • 在139篇文章中引用[sw00606]
  • MuPAD公司包含一个强大的符号引擎,一种为操作而优化的语言。。。
  • 老鼠

  • 引用137篇文章[sw09315]
  • 被动插补可以用来维持一致性变量之间。各种诊断图可用。。。
  • 苏尔克

  • 参考文献124篇[sw11355]
  • 条目。在这样的数据库中,一个查询包含一对(S,f),其中。。。
  • 线圈-20

  • 引用88篇[sw30991]
  • 有两种版本。第一个,[未处理],包含五个物体的图像。。。背景已被丢弃(和图像包括包含。。。
  • 维多

  • 引用116篇文章[sw06987]
  • 粒子受自身影响-一致的电磁场。未知的。。。
  • VTK公司

  • 在111篇文章中引用[sw10593]
  • 计算机图形学,图像处理和可视化。VTK公司包含一个C++类库和几个。。。
  • CIFAR公司

  • 在111篇文章中引用[sw17861]
  • 杰弗里·辛顿。CIFAR-10数据集包含在10个班级的60000张32x32彩色图像中。。。
  • 坎迪斯

  • 在106篇文章中引用[sw07308]
  • 最初是软件组成Alfred Gray写的17个Mathematica软件包。。。
  • 卡尔玛

  • 参考105篇文章[sw03235]
  • 在一个财团的CALMA项目中组成来自代尔夫特,埃因霍温,伦敦的研究小组。。。
  • 艾姆斯

  • 参考105篇文章[sw04912]
  • 更快速、更准确、更复杂的决策一贯地通过比较最佳解决方案。。。