• 3APL公司

  • 参考33篇文章[sw20859]
  • 通信操作)和一组实际的 推理代理人的目标。。。
  • 概念网

  • 27条引用[sw10660]
  • 概念网:a实际的常识推理工具箱。概念网是一个免费的常识知识库。。。支持许多实际的文本-推理包括真实世界的任务。。。
  • 枸杞

  • 在14篇文章中引用[sw02888]
  • MEDLAR(逻辑中的机械化演绎)实用的 推理)-项目二:具体的综合。。。水平推理通用实际的 推理探员。。。
  • 海普拉斯

  • 参考文献165篇[sw17661]
  • 为了说明实际的实施这些技术。我们没有假装。。。试图提出合理的平衡理论和数值程序在有限元计算中的应用。。。
  • 英寻

  • 引用16条[sw06698号]
  • 发展学生统计学的目的与局限性推理. 我们进一步讨论不同的学习环境。。。这些工具包括研究和实践. 动态数据分析软件应用于二次。。。数字技术在统计中的作用推理被比喻为在数据之间旅行。。。研究技术和实践发展学生统计学推理在技术增强的学习环境中。。。
  • 玉米

  • 在34篇文章中引用[sw06752]
  • 保持一致)。这个原因因为建设性工作部分是历史性的,部分是历史性的实际的(因为我们想。。。
  • ARMC公司

  • 在26篇文章中引用[sw04949]
  • 随着抽象,精化作为一种实际的工业软件系统验证方法。。。应用逻辑推理处理抽象。因此,很自然地要调查是否。。。一个优雅简洁的实现实际的工具。在本文中,我们描述了结果。。。
  • 缺陷4J

  • 引用4篇文章[sw26882]
  • 可比的,可复制的,或具有实践. 原因真正的虫子太少了。。。
  • MUP公司

  • 引用15篇文章[sw11910]
  • 实际的需要确定其最小的不可满足子集,这些子集精确地指出原因因为不可行。。。结果。本文描述了一个实际的决定最小不可满足性的算法。。。
  • 苏尔克

  • 参考文献121篇[sw11355]
  • 实用的隐私:SuLQ框架。我们考虑一个统计数据库,其中一个可信的管理员。。。查询)原语。次线性的假设变成合理的随着数据库变得越来越大。我们扩展这个。。。
  • 第二组

  • 参考7篇文章[sw36329]
  • 促进正式推理关于支持时的程序实际的解决问题。。。
  • 1毫升

  • 引用4篇文章[sw19983]
  • 核心。两者都有实际的和技术原因但是,它创造了大量的。。。
  • 真实性

  • 1条引用[sw30356]
  • 工具实用的 推理关于状态机设计。关键系统(如安全关键系统和安全系统。。。关键系统仍然缺乏易用性,实际的最重要的是那些值得信赖的工具。。。可能的设计策略,并支持正式推理关于它们的临界性质。在本文中。。。
  • 科梅特

  • 引用13篇文章[sw28720]
  • 比较来自实际的观点。通常的翻译。。。问题,证明只能在合理的如果使用定义翻译的话。。。
  • 3D-DDA

  • 参考6篇文章[sw08804]
  • 变形实际的含裂纹弹性介质问题合理的准确度。。。
  • 真有趣

  • 在10篇文章中引用[sw22187]
  • 易于使用的自动化教学系统推理语义学,验证和类似的主题。。。关于形式方法以及实际的关于程序验证的课程。。。
  • 立马

  • 引用3篇文章[sw14757]
  • 立马:A实用的概率描述逻辑推理机. 本文首次提出概率描述。。。
  • PMS5型

  • 引用3篇文章[sw24069]
  • 设计精确的求解算法实际的中的实例合理的时间量。在这个。。。
  • GCROT公司

  • 引用9篇文章[sw08876]
  • 实践,FGMRES通常会定期重新启动,以保持内存和工作需求合理的;然而,就像。。。