• Expokit公司

  • 引用200篇文章[sw00258]
  • 锁链,还有计算的解决方案取决于概率限制。除了寻址之外,还对计算马尔可夫链的瞬态。。。
  • 灶神星

  • 引用25篇文章[sw08425]
  • 检查是否指定了属性概率 计算树逻辑(PCTL)[3]或连续随机。。。
  • 内斯特

  • 27条引用[sw22096]
  • 内斯特:A电脑类-综合了概率知识。n顺序。。。
  • ProbLog公司

  • 在102篇文章中引用[sw06945]
  • ProbLog是一个概率基于Prolog的逻辑程序设计语言。有两个ProbLog实现可用…功能。ProbLog1或简称ProbLog,主要关注计算给定查询的成功概率。。。
  • ProbView公司

  • 27条引用[sw09438]
  • ProbView:一个灵活的概率数据库系统。概率论是数学上最容易理解的范式…信息。复杂事件的概率可以是计算的从那些基本事件中…所涉及的事件中。以前的工作概率数据库假定了一个固定的和有限制的组合。。。计算的在多项式时间内,查询的正片段概率关系代数有。。。
  • MRMC公司

  • 引用73篇文章[sw04129]
  • 用于验证属性的软件工具概率模型。它支持PCTL和CSL模型检查…它支持MRMC的功能计算时间和报酬有界可达概率(性质。。。
  • PTSC公司

  • 参考6篇文章[sw13692]
  • 比如时间,并发性和概率,在哪里概率 计算发挥越来越大的作用。它具有挑战性…概率特征由概率不确定的选择,概率谨慎的选择和概率...
  • 迪普罗

  • 引用4篇文章[sw09744]
  • DiPro-一种用于概率反例生成。这个计算反例概率模型检查…工具,允许计算和代表概率反例。我们提供一个开放的…模型检查。它允许计算属于概率离散时间马尔可夫链和马尔可夫决策过程的反例。这个计算的反例可以以图形方式呈现。。。
  • 布莱斯

  • 引用8篇文章[sw29867]
  • Blaise是一个高性能的工具箱概率推理,用Java实现。Blaise为计算产生于概率推理,以及合成的手段…可视化工具,所以你可以观察计算在开发和调试期间展开而不牺牲。。。
  • 伊巴尔

  • 27条引用[sw08945]
  • 伊巴尔:a概率rational编程语言。在一个rational编程语言中,一个程序指定…代理;评估该计划相当于计算一个rational代理会相信的…介绍了IBAL,一种用于概率以及决策理论代理人。IBAL提供。。。
  • 巨浪

  • 27条引用[sw04428]
  • 概率接近。这本书向读者介绍了电脑类愿景屈服。。。
  • 单位步行

  • 引用36篇[sw00993]
  • 边界。然而,我们提出了令人鼓舞的结果计算的实验比较了我们算法的几种实现……也证明了我们的算法是概率差不多完成了。。。
  • latentnet公司

  • 引用21篇文章【sw10550】
  • 链蒙特卡罗算法。它也可以计算潜在位置的最大似然估计。。。概率,并提供每个参与者属于每个集群的概率。计算四。。。
  • 引用19篇文章[sw10514]
  • 使用概率方法。以前,HMMER主要是作为计算上密集型UNIX。。。
  • 弗拉维亚

  • 引用15篇文章[sw22234]
  • 概率神经网络)。这个MATLAB程序的目的是教计算机…数码相机或扫描仪),然后计算机能告诉你什么样的植物…它们。我们利用PNN(概率神经网络)来实现这个人工智能过程。12个字符。。。
  • rsvd公司

  • 在10篇文章中引用[sw16104]
  • 非常快概率可用于计算接近最优的低阶。。。
  • 克雷莫纳

  • 引用9篇文章[sw19975]
  • 类。而且计算既可以确定又可以概率我们给你。。。
  • 普斯茅德

  • 引用3篇文章[sw10125]
  • 云应用程序计算.几个正式的模型结合在一起概率以及不确定性特征。让他们的…定义不同概率云端系统之上的策略计算例如,其中。。。
  • 浮士德2

  • 在14篇文章中引用[sw23682]
  • 程序在MATLAB中运行,并采用并行方式计算以及基于向量演算的快速操作。。。概率模型检查程序,如PRISM或MRMC。或者,它可以在内部处理计算...