• 小脚

  • 引用52篇文章[sw09787]
  • Smallfoot:模块化自动断言检查分离逻辑。分离逻辑是程序逻辑。。。Smallfoot,一种检查某些轻量化的工具分离逻辑规范。断言描述了形状。。。它们面向的是分离逻辑,即:避免框架公理(这。。。
  • 信号

  • 引用51篇文章[sw02915]
  • 在结构上将它们分解为元素同步进程。分开不过,用反应式语言进行编译。。。由全球安全要求发布。使分离功能部件的反应式编译。。。语言,打字是允许分离程序中函数的编译。。。流程图同样可以用于分别地编译反应过程并组装它们。。。
  • RSVM

  • 引用52篇文章[sw15261号]
  • 提出了一种生成非线性核函数的方法分离表面需要很少的。。。简化了非线性的表征分离表面。这里,A的m行代表。。。支持向量机(RSVM),具有非线性分离表面上那取决于一个小随机。。。
  • SuperLU距离

  • 引用82篇文章[sw00002]
  • 日常工作。这种稀疏性的预定完全是分离因式分解。工作精度迭代求精。。。
  • VeriFast公司

  • 在56篇文章中引用[sw07705]
  • VeriFast程序验证程序。本说明描述了分离-基于逻辑的规范方法。。。记忆的抽象表示分离逻辑断言。正在折叠抽象断言。。。
  • 美国焊接学会

  • 引用44篇文章[sw04034]
  • 包包含实现传播的R函数-分离描述为自适应平滑方法。。。Polzehl和V.Spokoiny(2006),传播学-分离局部似然估计方法。理论。。。Spokoiny(2004)空间自适应回归估计:传播-分离接近,WIAS预印本。。。
  • 得到

  • 引用了65篇文章[sw02964]
  • 派生不再作为分离程序,但派生代码。。。
  • 水银

  • 引用了65篇文章[sw08333]
  • 大规模程序开发,允许模块化,分离编译和大量优化/时间权衡。。。
  • 访问

  • 参考61篇文章[sw03704]
  • 专业及以上版本或出售分别地. Microsoft Access以自己的格式存储数据。。。
  • 拉菲特

  • 参考61篇文章[sw12221]
  • 以下问题:矩阵完备(MC),稀疏矩阵分离(短信),矩阵压缩传感。。。
  • 比萨

  • 参考第60条[sw01397]
  • 过程)。这两个模块实现为分离通过文本文件进行通信的程序。比萨。。。
  • SSVM公司

  • 引用了60篇文章[sw12678]
  • SSVM还可以产生高度非线性分离表面,比如棋盘。。。
  • 毫升

  • 引用了60篇文章[sw20907]
  • 转换。采取的方法是考虑分离拉普拉斯变换的区域。。。
  • 天堂

  • 引用了43篇文章[sw01948]
  • ParadisEO基于一个清晰的概念分离解决问题的方法。。。它们是用来解决的。这个分离授予用户最大代码。。。
  • 伟大的SPN

  • 引用57篇文章[sw00384]
  • 例子。GreatSPN2.0由许多分离在构建和分析中合作的程序。。。
  • SOLA-VOF公司

  • 引用了40篇文章[sw24125]
  • 用于涉及两种流体的计算分开的一个锋利的界面。不管怎样。。。程序。它的逻辑部分被隔离在分离子程序和许多特殊功能已经。。。