• Expokit公司

  • 引用189篇文章[sw00258]
  • 锁链,还有计算的解决方案取决于概率限制。除了地址。。。特别注意计算马尔可夫链的瞬态。。。
  • 灶神星

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

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

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

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

  • 参考6篇文章[sw13692]
  • 比如时间,并发性和概率,在哪里概率 计算发挥越来越大的作用。这很有挑战性。。。概率特征用概率不确定性选择,概率谨慎的选择和概率...
  • MRMC公司

  • 引用了70篇文章[sw04129]
  • 用于验证属性的软件工具概率模型。它支持PCTL和CSL模型检查。。。MRMC的特点是支持计算时间和报酬有界可达概率(性质。。。
  • 迪普罗

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

  • 引用8篇文章[sw29867]
  • Blaise是一个高性能的工具箱概率推理,用Java实现。布莱斯提供高效。。。的表示原语计算产生于概率推理,以及构图方法。。。可视化工具,以便您可以查看计算在开发和调试期间展开而不牺牲。。。
  • 伊巴尔

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

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

  • 引用了35篇文章[sw00993]
  • 边界。然而,我们提出了令人鼓舞的结果计算的实验比较了我们算法的几种实现。。。同时证明了我们的算法是概率大致完成。。。
  • 引用19篇文章[sw10514]
  • 使用概率方法。以前,HMMER主要是作为计算上密集型UNIX。。。
  • latentnet公司

  • 引用19篇文章【sw10550】
  • 链蒙特卡罗算法。它也可以计算潜在位置的最大似然估计。。。概率,并提供每个参与者属于每个集群的概率。计算四。。。
  • 普斯茅德

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

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

  • 引用8篇文章[sw19975]
  • 类。而且计算既可以确定又可以概率我们给你。。。
  • 探针

  • 引用15篇文章[sw12014]
  • 问题:概率基于一致性的多序列比对。研究广泛的基因进化。。。然而,获得精确的对准是困难的计算的问题不仅仅是因为高。。。计算的成本,但也缺乏适当的目标函数来衡量线形质量。。。本文介绍概率一致性,一个新的多序列比较评分函数。。。
  • 浮士德2

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