-
烟雾
- 引用238篇文章[sw04631]
- 基于稳定的 模型正常逻辑程序的语义。基本的。。。编程使答案(稳定的 模型)对应于解决方案。。。
-
黄蜂
- 引用了40篇文章[sw09565]
- 下析取逻辑程序的处理稳定的 模型语义学。黄蜂实施最初引进的技术。。。atom支持和技术稳定的 模型检查。关于分支启发式,WASP采用了。。。
-
微型发电机
- 引用了60篇文章[sw01425]
- a的属性稳定的大质量粒子模型. 最早是为了计算。。。文物密度稳定的大质量粒子,代码也计算直接。。。MSSM和各种扩展。扩展到其他模型可以由用户实现。。。
-
稳定
- 引用107篇文章[sw04843]
- 稳定的密度和分布函数”,J.P.Nolan,公社。统计学家-随机的模型... Mallows和stick的生成算法稳定的随机变量。它也表现出最大的可能性。。。
-
f2lp公司
- 在10篇文章中引用[sw09898号]
- 通用语言的实现稳定的 模型由法拉利,李和利夫希茨提出。在。。。一阶理论稳定的 模型把语义转换成一个答案集程序,这样。。。规则。基于稳定的 模型在限定范围内,f2lp也可以服务于。。。
-
G配合
- 17条引用[sw14044]
- GPfit包:高斯过程建模. 计算上的稳定的拟合高斯过程的方法。。。模拟昂贵的计算机模拟器。安装总成模型如果任何一对。。。在计算上提出稳定的装配总成的方法模型到确定性计算机模拟器。他们用。。。
-
帕夫姆
- 在10篇文章中引用[sw19053]
- 参数脆弱性模型在R中,伽马,反高斯,正稳定的脆弱分布。。。至少一个群集。积极的稳定的 模型显示了类似的困难,但一个特别的解决方案。。。
-
XASP公司
- 引用5篇文章[sw13876]
- 斯莫代尔人的计划[14]稳定的 模型发电机。主界面基于。。。程序的完整表示稳定的 模型应该生成,子句被复制。。。调用,以及有关任何稳定的 模型返回生成的。XASP的这种用法。。。也通过稳定的 模型为各种装订而生产的。XASP的当前版本。。。
-
乌尔德梅
- 引用25篇文章[sw10400]
- 反应扩散主方程形式模型正在研究的过程。一个接口。。。多物理)提供了一个稳定的和交互式环境模型施工。核心模拟程序。。。
-
德里斯
- 引用3篇文章[sw32312]
- 逻辑程序,DeReS计算稳定的 模型并支持成员资格查询。。。部分或全部原子稳定的 模型. 这篇文章叙述了我们的初步。。。
-
米兰达
- 在152篇文章中引用[sw04986]
- 更大的社区,以稳定的完整和文档化编程语言的实现。。。米兰达的基本思想是模型化在早期语言中。。。