• veriSoft公司

  • 引用了91篇文章[sw01489]
  • VeriSoft公司自动 搜索对于软件系统中的协调问题(死锁等)和断言冲突。。。所有组成部分的相互作用。它集成自动的测试生成、执行和评估。。。
  • 防喷器

  • 引用231篇文章[sw17324]
  • BLAST程序广泛用于搜索蛋白质和DNA序列相似性数据库。。。此外,还介绍了一种方法自动将爆炸产生的统计学意义上的排列组合成。。。职位特定得分矩阵,以及搜索使用这个矩阵的数据库。结果是特定的位置。。。
  • 自动学习

  • 引用19篇文章[sw33039]
  • 学习机器学习库,auto sklearn自动 搜索为了正确的学习算法。。。
  • 通用电气代码

  • 引用64篇文章[sw06272号]
  • 计数,活动);许多的搜索引擎(并行、交互式图形、重启);自动的对称破缺(LDSB);迷你锌。。。今天的商品硬件并行搜索,给一个已经有效的基础系统一个额外的。。。
  • GHC公司

  • 引用了43篇文章[sw23765号]
  • 展示了如何自动编译一个Horn子句程序搜索进入。。。
  • ETPS公司

  • 在157篇文章中引用[sw06302]
  • 混合了这些模式自动的在某些方面它是相当原始的。。。处理平等问题。它有设施搜索对于扩展证明,将这些转换为自然。。。
  • 配子

  • 在38篇文章中引用[sw03002]
  • 坡度可用,用于自动的几何优化,过渡状态搜索,或反应路径。计算。。。
  • 萨滕斯坦

  • 17条引用[sw14233]
  • 萨滕斯坦:自动本地建筑搜索组件的SAT解算器。设计高性能的计算求解器。。。自动的方法。在这项工作中,我们考虑随机局部设计搜索(SLS)解算器。。。偿付能力强于所有公司自动调整了以前最先进算法的变体。。。
  • 自记

  • 在134篇文章中引用[sw06137]
  • AGX的主要目的是搜索对于极值图,即最大化图的极小化。。。提取并可能产生猜想自动或者被研究者发现。。。
  • 法兰

  • 引用了29篇文章[sw15312]
  • 最适合最近的邻居搜索和一个系统自动选择最佳算法。。。
  • 吸血鬼

  • 引用241篇文章[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动的一阶经典逻辑的定理证明器。。。简化技术用于修剪搜索空间:包含,重言式删除(可选模交换性。。。
  • CP优化器

  • 引用4篇文章[sw38499]
  • 松弛(TLR)用于指导自动的 搜索当解决涉及时间的调度问题时。。。描述它在自动的 搜索并给出了松弛曲线。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 混合了这些模式自动的在某些方面它是相当原始的。。。处理平等问题。它有设施搜索对于扩展证明,将这些转换为自然。。。
  • 语调90

  • 引用305篇文章[sw04705]
  • 严格的全球搜索:连续问题该专著对基于区间算术的方法进行了综述。。。介绍区间算法,求解线性区间方程,自动的微分和代码表生成,区间牛顿。。。以及其他代码的生成自动的区别。预处理章节(32页…关于零的一些新结果搜索. 关于中间值的最后一章。。。
  • SMAC公司

  • 参考第61条[sw27215]
  • 我们可以运行其他进程自动,或者我们可以计算的函数,比如。。。帮助我们加快了当地搜索还有树搜索算法的数量级。。。
  • 帕米尔斯

  • 引用73篇文章[sw00678]
  • 算法的应用。我们描述一个自动的针对这个算法框架的配置问题。更正式地说。。。参数。我们回顾了当地的一个家庭-搜索-基于算法配置过程和提出了新的。。。知识,关于自动正在配置CPLEX混合整数规划求解器。。。
  • VisualSEEk公司

  • 引用89篇文章【sw13846】
  • 描述一个功能强大的原型系统搜索通过图像数据库中的视觉特征。。。区域。在查询之前,系统自动从中提取并索引显著颜色区域。。。
  • PcGets公司

  • 引用了43篇文章[sw01937]
  • 供应。1821–838(2003年)]自动的预测建模工具称为相关转换。。。兴趣预测值的转换),选择性搜索在可能的型号范围内,控制。。。视网膜与pcget,一个著名的自动的D.Hendry提出的建模方法。我们指出。。。