• 棱镜

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

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

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

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

  • 引用的第32条[sw04605]
  • 申请CEGAR认证概率 系统,各种基础性问题应运而生。本文探讨。。。
  • ProbView公司

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

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

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

  • 引用13篇文章[sw12934]
  • 自动化综合与验证策略概率 系统有竞争或合作行为。模型。。。
  • 引用18条[sw04136号]
  • 酒是检验的工具概率反应性系统建模的Probmela程序,这是术语。。。
  • 聪明的_

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

  • 参考6篇文章[sw28541]
  • 伊莎贝尔动物园概率 系统:多种型号概率 系统在文献中被研究过。。。形式化概率 系统根据不同的语义类型。。。
  • 五月天

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

  • 参考11篇文章[sw08268]
  • 图形独立网络,也称为概率专家系统或者贝叶斯网络。。。
  • 麦金太尔

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

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

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

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

  • 参考170篇文章[sw00258]
  • 操作数向量,或系统常系数线性常微分方程组。。。此外,计算的解受概率限制。除了处理通用矩阵。。。
  • 捕图者

  • 引用了53篇文章[sw14896]
  • 用户选择的历史记录有助于系统对用户目标的估计。。。PicHunter使用基于概率用户行为模型。。。算法可以很容易地并入系统支持复杂的查询,包括以前提出的。。。