• 3APL

  • 33篇参考文献[SW2089]
  • 通信动作)和一组实际的 推理代理商的目标的规则…
  • 概念网

  • 26篇参考文献[SW10660]
  • 概念网:A实际的常识推理工具包。概念网是一个自由可用的常识性知识库。支持许多工具的加工工具箱实际的文本-推理在真实世界文档中的任务包括…
  • 枸杞

  • 14篇参考文献[ SW028 88 ]
  • 枸杞(逻辑推理中的机械推理)实用的 推理-II项目是:具体的合成…水平推理泛型能力实际的 推理代理
  • 海普拉斯

  • 153篇参考文献[SW17661 ]
  • 特写来说明实际的这类技术的实现。我们不假装…试图提出一个合理的有限元理论与数值方法的平衡
  • 英寻

  • 16篇参考文献[SW0698]
  • 发展学生统计的目的和局限性推理. 我们进一步讨论不同的学习环境…这些工具有来自研究和实践. 二级动态数据分析软件的应用数字技术在统计中的作用推理比喻与数据之间的旅行相比…研究中的技术实践发展学生统计推理在技术增强的学习环境中…
  • C型玉米

  • 34篇参考文献[SW0672]
  • 保持一致。这个原因建设性地工作部分地是历史性的,部分地实际的(因为我们想要……
  • 装甲兵陆战队

  • 26篇参考文献[ SW049 49 ]
  • 抽象提炼正在成为一种实际的验证工业软件系统的方法…应用逻辑推理处理抽象。因此,调查是否……是自然的。优雅简洁的A实现实际的工具在本文中,我们描述的结果…
  • 缺陷4J

  • 4篇参考文献[SW2682]
  • 可比的、可重复的或具有特征的实践. 原因真的是太不常见了吗?
  • MUP

  • 15篇参考文献[SW11910]
  • 实际的需要确定它的最小不可满足子集,从而确定原因对于不可行性…结果本文描述了一个实际的确定最小不可满足性的算法…
  • 苏尔克

  • 119篇参考文献[SW11355 ]
  • 实用的隐私:SULQ框架。我们考虑一个统计数据库,其中一个可信任的管理员…查询)原语。亚线性假设成立合理的随着数据库的日益增长大的,我们扩展这个…
  • 1ML

  • 4篇参考文献[SW983]
  • 核心。两者皆有实际的技术原因对于这种分层,然而,它创造了巨大的…
  • 准确性

  • 1篇参考文献[SW30356]
  • 工具实用的 推理关于状态机设计。关键系统(例如安全关键和安全)关键系统仍然缺乏易用性,实际的更重要的是,值得信赖的工具允许…可能的设计策略和支持形式推理关于它们的临界性质。在本文中…
  • 科米特

  • 13篇参考文献[SW28 720]
  • 比较A的不同范式翻译实际的观点通常翻译…问题,证明只能在合理的如果使用定义翻译的时间…
  • 3DDA

  • 6篇参考文献[SW08804]
  • 变形实际的裂隙弹性介质问题合理的准确性…
  • 真实的

  • 10篇参考文献[SW22187]
  • 易于使用的教学自动化系统推理,语义,验证和类似的主题…关于形式方法以及在实际的关于……程序验证的课程
  • 普伦托

  • 3篇参考文献[SW1477]
  • Prto: A实用的概率描述逻辑推理机. 本文首先介绍了第一个概率描述。
  • PMS5

  • 3篇参考文献[SW24096]
  • 求解精确算法的设计实际的实例内合理的时间量。在这…
  • GCROT

  • 9篇参考文献[ SW0876]
  • 实践FGMRES经常被重新启动以保持内存和工作需求。合理的然而,像…