-
旋转
- 引用711篇文章[sw03455]
- 分布式软件的形式化验证系统. 这个工具是在贝尔实验室开发的。。。自1991年起免费提供,并继续发展为了跟上新的发展。。。工具被授予系统软件奖。。。
-
登菲斯
- 参考58篇文章[sw24183]
- DENFIS:动态进化的神经模糊推理系统及其在时间序列预测中的应用。这个。。。模糊推理类型系统,表示为动态进化的神经模糊推理系统(登菲斯。。。动态时间序列预测的应用。登菲斯发展通过增量、混合(有监督/无监督)、学习和适应。。。在操作期间更新系统. 在每一时刻,DENFIS的输出。。。
-
PVS公司
- 参考文献616篇[sw03484]
- 验证系统:也就是说,一种集成了支持工具和定理证明程序的规范语言。。。应用。PVS是一个研究原型:it进化随着我们的发展和应用。。。
-
高铁
- 引用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年了。这是一个合适的时间点。。。在导游的带领下游览系统解剖,暴露了一些没有公布的设计。。。
-
CRSX公司
- 引用4篇文章[sw23630]
- 基于纯组合约简的重写引擎系统完全强还原(但没有指定。。。规则文件中的语法)。-实验(和进化的)排序系统以帮助规则管理。-编译器来自。。。
-
马查尔
- 参考22篇文章[sw00539]
- 提高可移植性的参数。马查尔是个进化的动态确定十三个基本的FORTRAN子程序。。。与浮点运算相关联的参数系统. 这里的版本运行正常。。。
-
加尼思
- 引用9篇文章[sw10142]
- 原型系统实现其中一些目标是建立和进化的. 上面写着。。。在X窗口的版本11下系统. 这个系统可移植到任何机器上。。。