• 棱镜

  • 引用416篇文章[sw01186]
  • 伯明翰概率 系统. PRISM支持三个概率模型:离散时间马尔可夫。。。通过模型检验系统概率时态逻辑PCTL。。。分析概率终止、性能和服务质量属性系统,包括。。。
  • 帕穆德

  • 引用了30篇文章[sw08422]
  • PMaude:基于重写的规范语言概率对象系统. 我们引入了一个基于重写的规范。。。建模语言概率并发和分布式系统. 这种语言,基于pMude,有两个。。。模块帮助编写规范概率演员形式主义。这让我们可以很容易地写。。。量化的)非确定性概率 系统是一种统计分析的必要形式。。。
  • APMC公司

  • 引用28篇文章[sw11483]
  • 最近扩展到概率 系统. 然而,转移矩阵的表示。。。非常大的很贵系统可能会导致模型检验的高昂成本。。。对a的高度自信感到满意概率 系统. 我们的随机算法只需要一个简洁的。。。
  • 灶神星

  • 引用24篇文章[sw08425]
  • 统计模型检查器和分析器概率 系统. 灶神星是一个统计分析工具。。。概率 系统. 它支持统计模型检查[6,7]和期望值的统计评估。。。检查是否指定了属性概率计算树逻辑(PCTL)[3]或连续随机。。。
  • 塞加尔

  • 参考33篇文章[sw04605]
  • 应用CEGAR验证概率 系统,各种基础性问题应运而生。本文探讨。。。
  • ProbView公司

  • 27条引用[sw09438]
  • ProbView:一个灵活的概率数据库系统. 概率论是数学上最容易理解的范式。。。在所涉及的事件中。以前的工作概率数据库假定了一个固定的和有限制的组合。。。想法,我们已经开发了一个原型概率数据库系统在Dbase上调用ProbView。。。
  • 普维斯塔

  • 17条引用[sw08423]
  • 有吸引力的形式分析方法概率 系统例如,网络物理系统哪个。。。可用于像Maude这样的工具,在哪里概率 系统可以在高级别指定。。。支持的统计模型检查概率实时系统指定为:(i)离散。。。
  • 棱镜游戏

  • 17条引用[sw12934]
  • 自动验证和策略综合概率 系统有竞争或合作行为。模型。。。
  • 保护数据库

  • 引用了20篇文章【sw13843】
  • 不同于以往的发展努力概率关系系统因为我们建立了一个概率... 重复的子元素。我们提出一个概率解决所有这些挑战的XML模型。。。使用自然语言分析系统. 我们提出了一个简单的案例研究后。。。展示概率XML数据管理。。。
  • 动物园概率系统

  • 参考7篇文章[sw28541]
  • 伊莎贝尔动物园概率 系统:多种型号概率 系统在文献中被研究过。。。形式化概率 系统通过对不同类型的语义建模。。。
  • 引用18条[sw04136]
  • 酒是检验的工具概率反应性系统建模的Probmela程序,这是术语。。。
  • 聪明的_

  • 参考33篇文章[sw04097]
  • 逻辑和概率复合物分析系统. Smart可以结合不同的形式。。。
  • 五月天

  • 参考11篇文章[sw20068]
  • 五月天:A概率数据库管理系统. MayBMS是最先进的概率数据库。。。
  • 谷物

  • 引用13篇文章[sw08268]
  • 图形独立网络,也称为概率专家系统或者贝叶斯网络。。。
  • ISCAMC公司

  • 引用8篇文章[sw36939]
  • 基于模型检查器的iscasMc概率 系统(见http://iscasmc.ios.ac.cn/iscasmc)。这个Java应用程序提供了。。。
  • 斯雷克

  • 引用5篇文章[sw20158]
  • 斯雷克:A概率随机混杂系统的有界Delta可达性分析系统. 在本文中。。。解决方案概率两类随机混杂模型的有界可达性问题系统... 具有参数不确定性。第二个是概率混合自动机具有额外的随机性。。。非线性混杂系统有多个概率 系统参数。。。
  • 麦金太尔

  • 引用8篇文章[sw22925]
  • 麦金太尔:蒙特卡洛系统对于概率逻辑编程。概率正在接收逻辑。。。正常程序采样自概率程序。问题系统包括这样一个算法。。。转换概率程序转换成一个普通程序,查询。。。序言引擎。结果系统,称为麦金太尔的蒙特卡罗推断与雅普记录。。。
  • 吓人的

  • 参考11篇文章[sw12539]
  • 斯派克:A系统对于概率面向对象的知识表示。在之前的工作中,我们指出。。。本文中,我们提出了一个系统解决了这些限制。欺骗工具。。。
  • Expokit公司

  • 引用179条[sw00258]
  • 操作数向量,或系统常系数线性常微分方程组。。。此外,计算的解受概率限制。除了处理通用矩阵。。。
  • RACT公司

  • 引用了20篇文章[sw06924]
  • Matlab工具箱概率控制分析与综合系统受各种不确定性结构的影响。。。