• 诺尔

  • 引用5篇文章[sw27501号]
  • 诺尔的版本推理机设计用于回答混合的理论组成。。。这两种知识表示的特点和推理方法源于现实世界的应用,他们的。。。事实上,第一位编辑混合的 推理机像这样的保护,建筑。。。
  • HiTag2

  • 引用9篇文章[sw14133]
  • 提出。通过使用混合的逻辑方法推理计算机计算,我们得到。。。
  • 很酷

  • 引用4篇文章[sw11992]
  • 酷——一个普通的推理机对于煤系混合的逻辑学。我们描述了代数本体逻辑求解器。。。通用推理机这决定了莫代尔的可满足性(更广泛地说,混合的)关于。。。采用最先进的技术推理者...
  • W推理机

  • 1条引用【sw22932】
  • WSReasoner:一个原型混合的 推理机对于ALCHOI本体分类使用弱化和强化的方法。。。通常在基于tableau的情况下速度显著加快推理者可以处理更具表现力的DL语言。然而,两者。。。可接受的时间。我们展示了一个原型混合的 推理系统WSReasoner,它是建立在。。。
  • RSBR公司_

  • 引用18条[sw02934]
  • 布尔粗糙集推理(RSBR)分别用于挖掘脑膜炎的if-then规则。。。数据集。GDT-RS是一种软混合的感应系统,RSBR用于离散化。。。
  • 颗粒空间

  • 第3条引用[sw11708]
  • 颗粒空间:A混合的RCC-8和RDF/OWL推理和查询引擎。在本文中。。。
  • 超级

  • 引用2篇文章[sw23917]
  • 混合的接近,超级(混合的概率可扩展推荐程序),合并和原因范围很广。。。
  • 宝塔

  • 第3条引用[sw17539]
  • 过本体丰富的数据集是一个核心推理适用于许多应用程序。正在回答查询。。。混合的结合数据日志的owl2本体的查询应答方法推理机带着。。。
  • 4D-VAR公司

  • 参考12篇文章[sw03477]
  • 为了简单起见,最近才引入的原因,因为它不需要任何线性化。。。称为4D-VAR)。最后,一个混合的介绍了一种新的方法。。。
  • 计算

  • 引用5篇文章[sw13098]
  • 凸约束由布尔函数生成推理,我们提供了一个生成保守近似值的程序。。。有界模型检验生成的公式混合的自动机与浮点静态分析。。。
  • 谢泼克

  • 参考11篇文章[sw07352]
  • 使用局部支持权重函数通常会创建合理的近似值。SHEPPACK是Fortran 95软件包。。。包含离群值。SHEPPACK还包括混合的鲁棒分段线性估计算法RIPPLE(残差启动。。。
  • 水淹

  • 引用2篇文章[sw20067]
  • 系统注水。水网是根据小说改编的混合的为了计算。。。查询答案在运行时合并推理机支持(可处理)碎片的ans1。。。
  • 普通人

  • 引用2篇文章[sw20133]
  • 推断稳定性。如果混合的系统不稳定,它也会返回。。。表示电位的加权图原因因为失败。。。
  • 冷溶胶

  • 引用2篇文章[sw09397]
  • 微分方程。本文研究的是冲动混合的离散连续延迟微分方程(IHDDEs)。这个。。。微分方程对两个人来说是很有挑战性的原因. 首先,因为依赖关系。。。
  • 参数

  • 引用2篇文章[sw09398]
  • 微分方程。本文研究的是冲动混合的离散连续延迟微分方程(IHDDEs)。这个。。。微分方程对两个人来说是很有挑战性的原因. 首先,因为依赖关系。。。
  • 宇宙

  • 引用5篇文章[sw13329]
  • 自动机随机逻辑(HASL)。HASL采用线性混合的自动机(LHA),确定性的一个普遍化。。。统一的框架推理与精心设计的基于奖励的分析相结合。宇宙。。。
  • 哈斯尔

  • 参考6篇文章[sw13330]
  • 事件随机过程。HASL采用线性混合的自动机(LHA)作为选择前缀的机器。。。提供一个统一的验证框架推理自然与精心设计的奖励相结合。。。
  • 贝勒罗芬

  • 1条引用[sw23943]
  • 出现的自动化是分解的策略混合的系统,发现和建立非线性不变量。。。Bellerophon对不变量和算术的支持推理对于不可解系统。。。
  • 共产主义

  • 引用4篇文章[sw18569]
  • CDCL的内部工作。基于我们的推理关于求解器行为的差异。。。利用差异。我们已经实施了混合的混合两种不同重启策略的想法。。。
  • 希森

  • 在0篇文章中引用[sw20161]
  • 混合的系统。混合的系统是一个被广泛使用的模型来表示和原因关于控制。。。基于HYSET的仿真混合的具有不确定参数的系统,用Simulink表示。。。