• 旋转

  • 引用711篇文章[sw03455]
  • 分布式软件的形式化验证系统. 这个工具是在贝尔实验室开发的。。。自1991年起免费提供,并继续发展为了跟上新的发展。。。工具被授予系统软件奖。。。
  • 登菲斯

  • 参考58篇文章[sw24183]
  • DENFIS:动态进化的神经模糊推理系统及其在时间序列预测中的应用。这个。。。模糊推理类型系统,表示为动态进化的神经模糊推理系统(登菲斯。。。动态时间序列预测的应用。登菲斯发展通过增量、混合(有监督/无监督)、学习和适应。。。在操作期间更新系统. 在每一时刻,DENFIS的输出。。。
  • PVS公司

  • 参考文献616篇[sw03484]
  • 验证系统:也就是说,一种集成了支持工具和定理证明程序的规范语言。。。应用。PVS是一个研究原型:it进化随着我们的发展和应用。。。
  • MCTDH公司

  • 引用32篇文章[sw14837]
  • 分子核系统 进化的在一个或几个耦合的电子势能面上。。。
  • MWB公司

  • 参考33篇文章[sw04395]
  • 移动并发操作与分析系统(那些进化的连接结构)描述。。。移动电话的切换协议系统...
  • 高铁

  • 引用269篇文章[sw00418]
  • 对于稀疏线性方程的求解系统方程和稀疏特征值问题。MATLAB。。。多年来,图书馆进化的并广泛应用于。。。
  • 参考11篇文章[sw29476]
  • 表达进化的进化计算中的程序系统. 本文描述了Push并举例说明了。。。细节。PushGP是一种基因编程系统那个进化推送程序来解决计算问题。。。Pushpop,一个“自动构造进化”系统,同时进化推送程序,但同时执行进化的...
  • 亚历夫

  • 引用48篇文章[sw12108]
  • Aleph是一种归纳逻辑程序设计(ILP)系统. 本手册不适用于。。。进化的模拟其他几个ILP的一些功能系统. 其中一些。。。
  • PSCAD公司

  • 引用5篇文章[sw24726]
  • 权力系统 发展对精确、直观的仿真工具的需求变得越来越重要。。。构建、模拟和建模系统轻松,提供无限可能的权力系统模拟。。。
  • KQML公司

  • 引用32篇文章[sw29718]
  • 系统或者两个或两个以上的人系统分享知识支持合作。。。进化的目前,KQML的设计正在通过实验样机进行探索系统它们正在。。。
  • 西斯库斯

  • 在106篇文章中引用[sw12440]
  • SICStus Prolog有进化的将近25年了。这是一个合适的时间点。。。在导游的带领下游览系统解剖,暴露了一些没有公布的设计。。。
  • 神经病

  • 引用5篇文章[sw07358]
  • 高度可扩展性和整体性系统可以发展通过用户贡献。如果用户想要。。。
  • CRSX公司

  • 引用4篇文章[sw23630]
  • 基于纯组合约简的重写引擎系统完全强还原(但没有指定。。。规则文件中的语法)。-实验(和进化的)排序系统以帮助规则管理。-编译器来自。。。
  • odmd公司

  • 引用8篇文章[sw31747]
  • 想更新系统的在线描述为时间进化. 这项工作提供了。。。实时更新系统新数据可用时的动态。。。
  • Oid公司

  • 引用2篇文章[sw19237]
  • 容易添加到系统. 这个系统有所有基本的拟阵预言和列表。。。建议几个方向来扩展进化的 系统...
  • 乌托邦

  • 引用2篇文章[sw34996]
  • 复杂环境下的协同建模框架进化的 系统. 它旨在提供工具。。。
  • 马查尔

  • 参考22篇文章[sw00539]
  • 提高可移植性的参数。马查尔是个进化的动态确定十三个基本的FORTRAN子程序。。。与浮点运算相关联的参数系统. 这里的版本运行正常。。。
  • TWODEPEP公司

  • 在10篇文章中引用[SW0122]
  • 时间相关问题,系统偏微分方程的特征值问题进化的立方和四次。。。增加了求解线性方程组的方法系统...
  • 加尼思

  • 引用9篇文章[sw10142]
  • 原型系统实现其中一些目标是建立和进化的. 上面写着。。。在X窗口的版本11下系统. 这个系统可移植到任何机器上。。。