• 濑户

  • 引用了119篇文章[sw00707]
  • SETHEO:一个高性能的定理证明器。这个纸张涉及理论背景和实践。。。
  • Java探路者

  • 引用了119篇文章[sw07658]
  • 使用JAVA PathFinder检查JAVA程序。这个纸张描述一个名为JAVA PATHFINDER的转换器。。。
  • 规格#

  • 参考文献118篇[sw04598]
  • 开发和维护高质量的软件。这个纸张描述目标和架构。。。
  • 莱尔斯

  • 参考文献118篇[sw08637]
  • 基于粗糙集的例子。这个纸张介绍了规则归纳的系统LERS。。。
  • 内斯塔

  • 参考文献115篇[sw06576]
  • 压缩感知已经相当庞大了。这个纸张应用平滑技术和加速。。。
  • 安提戈涅

  • 引用79篇文章[sw09241号文件]
  • 一般非凸项。这样做的目的纸张是为了展示可扩展结构是如何。。。证明安提戈涅的能力纸张给出了一个测试套件的计算结果。。。
  • 葡萄糖酶

  • 参考109篇文章[sw01555]
  • 烫发(9)清晰可见。结论:这个纸张是系统的简要概述。。。
  • 利普先生

  • 参考文献108篇[sw01410]
  • 多阶段随机线性规划问题纸张描述嵌套分解的有效实现。。。
  • 托勒密

  • 引用了77篇文章[sw07459]
  • 以任意的方式分层地组成。这个纸张为托勒密提出了一个形式语义学。。。实现不同的计算模型。在这个纸张,我们正式定义了导演。。。
  • 糕点

  • 引用107篇文章[sw11775]
  • 大规模对等系统。这个纸张介绍了糕点的设计与评价。。。
  • NIST统计测试套件

  • 引用75篇文章【sw22972】
  • 用于密码应用的伪随机数发生器。这个纸张讨论了一些方面的选择和测试。。。发电机不在这一范围内纸张...
  • 奥斯陆

  • 引用104篇文章[sw09295]
  • 优化子程序库中的方法。这个纸张讨论了内点(屏障)的实现。。。
  • 稳定

  • 在102篇文章中引用[sw04843]
  • 这项工作在纸张“稳定参数的最大似然估计。。。
  • 地堑

  • 参考101篇文章[sw15842]
  • 合并两种类型的信息。在这个纸张我们扩展了图割方法。。。
  • CMU派

  • 引用100篇文章[sw13798]
  • 照明和表达式(PIE)数据库。在这个纸张,我们描述了成像硬件,收集。。。
  • 远端

  • 引用98篇文章[sw01746]
  • 从大数据集中获取知识。这个纸张介绍了几种人工实验结果。。。
  • 穆恩德

  • 引用了70篇文章[sw00592号]
  • 从参考网格单元。\parThis纸张描述了实现映射的一些概念。。。作业的第二部分纸张显示了实现的算法的例子。。。
  • 草履虫

  • 引用97篇文章[sw00677]
  • 自适应网格优化社区工具包。在这个纸张我们描述了一个社区工具包。。。
  • 龙骨

  • 引用96篇文章[sw06791]
  • 进化数据挖掘算法。这个纸张介绍了一个名为KEEL的软件工具。。。
  • 圆圈

  • 参考文献95篇[sw07662]
  • 剑桥大学出版社,2005(ISBN 0521823560)和论文在我的网页http://www.math.utk.edu/kens。。。