• 成功

  • 引用3篇文章[sw12332]
  • 原始近似法推理. 这项工作有一个实际的在监督学习模式中的应用。。。建议使用面向上下文的近似值推理. 为此,我们介绍一个适当的。。。
  • 普雷格尔

  • 引用28篇文章[sw13416]
  • 大规模图形处理系统。很多实际的计算问题涉及大图形。标准示例。。。商品计算机及其隐含的同步性使推理关于程序更容易。分发相关详细信息。。。
  • DLV公司

  • 参考第30条[sw04640]
  • 程序能够代表相关实际的存在不完整或矛盾的问题。。。在知识表示和推理(KRR)系统。多亏了长期的理论和实践。。。
  • 拉达

  • 引用4篇文章【sw20732】
  • 实现复杂的数据结构和原因关于确定是否。。。这种雷达可以用在几个实际的上下文。。。
  • 糖化血红蛋白

  • 引用2篇文章[sw09882]
  • 多项式时间下的可解性合理的假设。最后,本文提出了一些优化方法。。。工具可以验证实际的内部的HBAC程序合理的时间。。。
  • 斯巴克

  • 引用3篇文章[sw14946号]
  • 推理(QSR)是在过去二十年中提出的。数量实际的应用。。。
  • 惯性矩

  • 引用24篇文章[sw10551]
  • 在插补过程中评估合理性以及由此产生的模型。这些。。。避免了许多实际的存在的多元插补问题。。。
  • 熟悉

  • 引用2篇文章[sw31669]
  • 软件产品线(SPL)的可变性。实践,开发SPL可能涉及建模。。。提供合成和分解操作员,推理具有模块化机制的功能和脚本功能。。。服务可以是几乎使用可重用的熟悉的脚本进行管理推理机制。我们也。。。
  • 花球

  • 参考第5条[sw09919]
  • 推理关于电路的行为,我们证明我们的方法是可行的...
  • 圣公会教徒

  • 引用2篇文章[sw31144]
  • 练习,但是实际的日常机器学习工具,使概率推理有效。。。
  • dit公司

  • 引用3篇文章[sw29392]
  • 最好的实践不知道。例如,至少有四个合理的多元概化。。。
  • 迷你乐高

  • 参考12篇文章[sw09866]
  • 选择技术,就可以得到合理的有效的基于姚的协议,安全防范恶意对手。。。这个想法可以加速实际的显著性(按对数顺序。。。
  • 星期五

  • 引用9篇文章[sw07389]
  • 称为密集或完整的规则基。实践,意味着尽可能。。。基础,即包含间隙。经典模糊推理像Zadeh的,Mamdani的,Larsen的。。。
  • 史努菲特

  • 引用19篇文章[sw05289]
  • 注意优化的进行合理的即使界面产生噪音。。。实际的应用程序,大多数其他优化例程。。。
  • 维尔姆

  • 参考6篇文章[sw13286]
  • 证明它们之间的关系有助于不同推理风格和证明技巧。par验证Vellvm。。。LLVM参考实现。演示Vellvm的实用性,我们形式化和验证了先前提出的。。。
  • CFML

  • 引用8篇文章[sw13287]
  • 程序通过以下方式满足给定规范推理用一个例子交互地讨论特征公式。。。顺序逻辑,允许在实践要使用现有的校对助手验证程序。。。
  • 麦柯伊

  • 引用13篇文章[sw20876]
  • 仅限理论观察实践,nonce的重用是一个常见的问题。最近。。。McOE家族,这是可以证明的保证合理的针对一般对手的安全性以及标准安全性。。。
  • 情态

  • 引用3篇文章[sw13122]
  • 系统或逻辑类型的模型推理关于并发高阶命令式编程语言。。。一类递归区域方程实践一直是正规化努力的障碍。。。类型系统和逻辑模型推理关于并发高阶命令式编程语言。。。
  • 巴特

  • 引用2篇文章[sw01950]
  • 分类层次结构和默认方法推理财产继承,基于概率。。。高效和实际的真正的应用程序。BaRT已被用作分类的辅助决策工具。。。发送图像,并作为推理与分析情报报告有关的系统组成部分。。。