• UCI毫升

  • 在3266篇文章中引用[sw04074]
  • 加州大学欧文机器学习知识库。我们目前维持。。。
  • 毫升

  • 引用517篇文章[sw01218]
  • 毫升('Meta Language')是一种通用函数式编程语言。它源于Lisp。。。正式证明毫升程序不会导致运行时类型错误。。。毫升为函数参数、垃圾回收、命令式编程、按值调用提供模式匹配。。。
  • 霍尔灯

  • 引用了300篇文章[sw06580]
  • 此_系列_使用_毫升作为语言的实现和交互。。。
  • 毫升

  • 参考文献123篇[sw08067]
  • 毫升:多级预处理包。欢迎访问的主页毫升,Sandia的主多重网格预处理。。。包裹。毫升是为求解大型稀疏线性方程组而设计的。。。椭圆偏微分方程离散化。毫升用于定义和构建多重网格解算器和预处理程序。。。构造高度可伸缩的平滑聚合预处理程序。毫升预处理程序已在数千个处理器上使用。。。
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 定理证明,但他也设计了毫升它的基础编程语言和创新。。。多态类型系统毫升以及LCF和HOL逻辑。米尔纳代码。。。
  • ML-KNN公司

  • 引用了65篇文章[sw12923]
  • 毫升-knn:多标签学习的懒惰学习方法。多标签学习起源于。。。多标签懒惰学习方法毫升-提出了一种新的KNN算法。。。自动网页分类,显示毫升-KNN取得了优于一些公认的。。。
  • 乐高

  • 引用107篇文章[SW095号文件]
  • 兰迪·波拉克在爱丁堡使用新泽西州毫升。它实现了各种相关类型的系统。。。
  • 落叶松

  • 引用104篇文章[sw02126]
  • 语言,包括Ada、C、C++、CLU、CORBA,毫升模块3和Smalltalk。还有。。。
  • 毫升

  • 引用86篇文章[sw20907]
  • 二参数和三参数米塔格的数值计算。。。
  • 羽状爪哇

  • 引用了91篇文章[sw16204号]
  • lambda演算对语言如毫升还有哈斯克尔。它提供了类似的计算。。。
  • 卡格默尔

  • 引用51篇文章[sw08799]
  • Cakeml,经验证的毫升我们已经开发并机械验证了毫升系统。。。它支持标准的大部分子集毫升.CakeML被实现为交互式读取。。。
  • 巴别塔

  • 引用71篇文章[sw03018]
  • 函数式编程(如HOPE,Standard,毫升,或米兰达)和逻辑编程(作为具体体现。。。
  • 皮克特

  • 引用71篇文章[sw08929]
  • Pict是一种毫升传统,通过添加一层方便。。。
  • 新鲜的

  • 引用了50篇文章[sw08992]
  • 用活页夹编程变得简单。FreshML延伸毫升用优雅而实用的结构来宣告。。。新鲜度推断并不比毫升经验表明。。。
  • 最小值

  • 引用47篇文章[sw29625]
  • 我们的功能语言Mini中的功能语言-毫升□, 从而证明绑定时间的正确性。。。这个片段的正确性。此外,Mini-毫升也可以表达即时评价和分享。。。
  • 格拉姆

  • 参考61篇文章[sw06517]
  • Newton-Raphson算法的版本(毫升方法d0)。在离散的情况下。。。
  • 证明力

  • 引用57篇文章[sw06339]
  • 遵循LCF范式,在标准中毫升.ProofPower为规范和证明提供支持。。。
  • 梅蒂斯_

  • 在56篇文章中引用[sw04439]
  • Metis的等式特征:在标准中编码毫升(SML),强调保持。。。