• 棱镜

  • 393篇参考文献[SW01186]
  • 棱镜:概率的象征的模型检查员。在本文中,我们描述棱镜,一个工具正在开发…概率的系统棱镜支撑三概率的 模型离散马尔可夫链,马尔可夫决策过程…通过完成模型检查这些系统是否符合概率的时间逻辑PCTL…工具特点三模型检查引擎:一个符号,使用BDDS(二进制决策图)和MTBDDS…
  • 迪马克

  • 493篇参考文献[SW08221]
  • 案例分析过于悲观概率的 模型太不现实了:实验可以提供指导…
  • MRMC

  • 66篇参考文献[SW04129]
  • 出局概率的 模型检查员MRMC。马尔可夫奖赏模型检验员(MRMC)验证属性的软件工具概率的 模型. 它支持PCTL和CSL模型检查。。。
  • 捕图者

  • 53篇参考文献[SW14896]
  • 基于A的贝叶斯学习概率的 模型用户行为的预言…
  • 普茂德

  • 29篇参考文献[SW08422]
  • 基于重写的规范语言建模 概率的并发和分布式系统。语言,基于…支持执行离散事件仿真模型写在PMODUD中,用于统计分析…查询A的不同数量方面概率的 模型. 我们还描述了统计技术…评估QuaTeX表达式概率的 模型
  • 博客

  • 39篇参考文献[SW22025]
  • 博客概率的 模型带有未知的物体。本文介绍并说明了Blog,一种形式语言…一阶唯一概率分布模型可以包含无界数和无界数的结构…语言我们还介绍了一个概率的证据处理的形式化形式…
  • 棱镜

  • 33篇参考文献[SW23 359]
  • 符号统计建模不仅仅是一个程序的语言棱镜概率的逻辑的扩展…适合于概率的推理可以描述各种类型的符号统计建模形式主义已知…学习成绩最受欢迎概率的 建模形式主义,隐藏的马尔可夫模型和贝叶斯…
  • 拍打

  • 30篇参考文献[SW13258]
  • 动画模拟器最重要的是,PAT实现各种模型针对不同性质的检查技术…使用公平性假设、细化检查和概率的 模型检查。为了达到良好的性能,先进的优化…
  • APMC

  • 27篇参考文献[SW11483]
  • 近似概率的 模型检查。象征的模型检查方法最近已扩展到验证…概率的系统然而,转移矩阵的表示对于非常大的…引起一个高昂的成本模型检查算法。在本文中,我们提出…对高信心感到满意概率的系统我们的随机化算法只需要一个简洁的…
  • 伊巴尔

  • 27篇参考文献[ SW08945 ]
  • 用于描述的富声明语言概率的 模型. 表达式语言允许任意的描述。
  • 反链

  • 26篇参考文献[SW20208]
  • 随机自动机算法的实验研究模型最近由Tabakov和瓦迪提出。我们展示…困难的例子概率的 模型反链算法优于标准算法。
  • 爱德华

  • 13篇参考文献[SW21517]
  • 爱德华:图书馆概率的 建模推理和批评。爱德华是一个蟒蛇图书馆…概率的 建模推理和批评。这是一个快速实验和研究的试验平台。概率的 模型,从古典层次模型复杂背景下的小数据集概率的模型关于大数据集。爱德华融合了三个领域:贝叶斯统计和机器学习,深…
  • 棱镜游戏

  • 13篇参考文献[SW12934 ]
  • 游戏,它支持建模自动验证和策略综合概率的系统与…竞争或合作行为。模型在A中描述概率的反应模块的扩展…工具是基于概率的 模型检查器棱镜,受益于其现有的用户界面…
  • 普洛维尤

  • 27篇参考文献[ SW09438 ]
  • 能变形概率的数据库系统。概率论在数学上是最好的理解范式。建模在所涉及的事件中。以前的工作概率的数据库已经假设了一个固定的和限制性的组合…理论(1)我们提出了一个概率的关系数据模型和一个广义概率关系代数…在阳性片段中的查询概率的关系代数本质上具有相同的数据…
  • 林荫道

  • 23篇参考文献[SW0661]
  • 项目反应理论,IRT,或Logit线性模型. RASCH指定人员、探针、提示、评级器…任务等必须通过统计进行交互概率的测量模型为了构造线性测度…
  • 灶神星

  • 24篇参考文献[SW08425]
  • 灶神星:一个统计模型检查器和分析器概率的系统灶神星是一种工具…统计分析概率的系统它支持统计模型-检查[ 6, 7 ]和统计评价…时间表达式的期望值。模型-检查灶神星使用一系列相关的…检查一个属性是否在概率的计算树逻辑(PCTL)〔3〕或连续随机…
  • PRODB

  • 20篇参考文献[SW13843]
  • 关系系统,我们建立一个概率的XML数据库。这个设计是驱动…关系表示法XML数据构成若干建模挑战:由于它的结构…重复的子元素。我们提出了一个概率的XML模型解决了所有这些挑战…使用概率的查询操作模型并通过实验证明了我们的实现效率。
  • 帕克莱

  • 12篇参考文献[SW23 813]
  • 显式进化模型和A概率的 模型结构的预测可以做到…
  • 佩斯塔

  • 16篇参考文献[SW08423 ]
  • 工具统计的模型检验是一种有吸引力的形式化分析方法。概率的这样的系统…概率的本质上。本文主要是提高统计的可扩展性。模型检查。。。工具〔10〕。PVesta支持统计模型检查概率的实时系统指定为…概率的在Maude改写理论。此外,它可以具有的特性模型检查
  • 18篇参考文献[SW04136]
  • 验证工具概率的反应系统模拟的PROMELLA程序,是A的术语概率的基于自动机的时间特性模型检查算法…