• OEIS

  • 引用了3218篇文章[sw07248]
  • “所需步骤数”分类“通过列表合并”,一个著名的算法。条目。。。
  • CGAL公司

  • 第337条[sw00118]
  • 图书馆提供几何对象生成器和空间分类函数以及矩阵搜索。。。
  • 快速排序

  • 在139篇文章中引用[sw20694]
  • 它们是最快的-分类可用的算法,正如选择所证明的。。。默认快速排序分类大多数程序库中的算法。一些分类算法是自适应的。。。更适合输入,几乎已排序根据某种特定的预分排序标准。快速排序。。。即使是已排序输入。然而,在本文中,我们实证地证明了实际的。。。
  • 目标3

  • 引用138篇文章[sw05370]
  • 基于订单的规格证明系统已排序等式逻辑。它已经成功地使用了。。。
  • 埃克力

  • 引用了119篇文章[sw02971]
  • 三个主要问题:选择、排名和分类. 第四部分介绍了近年来。。。
  • PAES公司

  • 引用了91篇文章[sw04159]
  • Pareto遗传算法(NPGA)与一种非显性遗传算法分类乔治亚州(NSGA)。试验是用。。。
  • 图像网

  • 引用了77篇文章[sw21105]
  • 将提供几千万个干净的已排序大多数概念的图像。。。
  • PostgreSQL

  • 引用69篇文章[sw15935]
  • Unicode,并且它对分类、区分大小写和格式。它是高度。。。
  • 斯莱克

  • 引用48篇文章[sw11759]
  • 分类属性。它使用了一个新颖的-分类树木生长阶段的技术。这个。。。分类程序与宽度优先的树生长策略相结合,使分类。。。
  • MPTP 0.2

  • 引用了43篇文章[sw02589]
  • 扩展的TPTP语法,它添加了与术语相关的种类以及TPTP的抽象术语。。。使用相对化的标准TPTP语法种类以及抽象术语的非符号化。完整的Mizar证明。。。
  • 同于307

  • 参考第55条[sw14162]
  • 时间,通过将几何特性与分类以及更新机制。两种深度。。。
  • 4 EMKA2型

  • 引用52篇文章[sw16168]
  • 该系统解决了多准则问题分类问题。该系统可用于许多。。。
  • 推力

  • 引用了50篇文章[sw09618]
  • 数据并行原语,如扫描,分类,和reduce,它们可以组合在一起。。。
  • 日本日报

  • 引用42篇文章[sw04319]
  • 包含$(x in y)$,排序($x$is已排序),以及更多。用户可以扩展Daikon。。。
  • PREFDIS公司

  • 参考22篇文章[sw11030]
  • PREFDIS:一个多准则决策支持系统分类决策问题。本文遵循方法论的方法论。。。多准则决策支持系统研究分类决策问题。主要特点是。。。开发交互式功能强大的附加实用新型分类一系列的替代品。。。根据不同的分类技术。此外,系统还提供了丰富的偏好模型。。。
  • 工商管理硕士

  • 17条引用[sw08724]
  • 这种方法已被证明是已排序带依赖项的记录-λ-微积分种类... “数学白话文”是已排序λ-记录微积分,相依记录种类... 选择种类...