-
安非斯
- 引用266篇[sw08730]
- 基于人类的知识(在形式模糊if-then规则)和规定。。。列出并讨论了模糊建模。其他扩展所提出的ANFIS和有前途的应用。。。
-
塑料
- 引用18条[sw07403]
- 用不同的扩展,在形式一个校对助理。键入。。。类型理论可以被定义(Luo,1994)。扩展包括归纳类型,普遍性,和强制子类型。。。
-
佩蒂加
- 引用了43篇文章[sw12420]
- 延伸它增加了NURBS离散化能力和形式... 应用程序要求广泛的计算资源。。。
-
色域
- 引用16条[sw30178]
- 需要法向的算法-形式游戏作为输入。色域不能与。。。有限元的构造与分析广泛的正常的形式游戏。色域是由。。。
-
皮科拉
- 17条引用[sw06408]
- 通信并发代理的方法。灵活性,可扩展性通过对两个界面的建模,获得了鲁棒性。。。他们赖以生存的形式一个特殊的概念可扩展记录。举一个具体的例子。。。
-
Coq/S参考
- 引用63篇文章[sw09360]
- S反射延伸Coq证明助理图书馆。Ssreflect这个名字代表“小规模。。。以更具体的方式重申(“反映”)问题形式,因此得名。例如。。。
-
痛饮
- 引用47篇文章[sw04607]
- 可扩展用于创建可编写脚本的科学软件的编译器。像Python和Tcl这样的脚本语言有。。。解释解决问题的环境和他们形式一个控制软件组件的模块化框架。。。水平翻译。本文介绍了SWIG,an可扩展自动完成集成任务的编译器。。。
-
秃鹰
- 引用23条[sw02490]
- 算法。本文提出了一种算法延伸鲍威尔的UOBYQA算法。。。形式. 之后,我们报告了UOBYQA、DFO和并行、约束的数值结果延伸...
-
ACRITH-XSC公司
- 引用49篇文章[sw00015]
- 除了少数例外,ACRITH-XSC是一个延伸FORTRAN 77的。各种语言概念。。。在或多或少相似的地方发现的形式在Fortran 90中。其他ACRITH-XSC功能。。。