• 分散搜索

  • 引用282篇文章[sw05291]
  • 解决方案和战略设计上下文知识。与其他进化方法相比。。。同时将计算量保持在合理的级别。。。
  • 概念网

  • 在26篇文章中引用[sw10660号]
  • 推理在真实世界的文档上执行任务,包括主题注册、类比生成和其他上下文面向的。。。
  • THF0型

  • 在14篇文章中引用[sw03310]
  • 打电话,在上下文适当的操作员定义。有好的原因为了维护序言。。。
  • 知道

  • 引用2篇文章[sw12395]
  • 提供特殊知识上下文还有一个特别的推理机在那里工作上下文...
  • SCEL公司

  • 17条引用【sw20779】
  • 组件及其交互,同时支持推理他们的行为。SCEL汇集了各种。。。当然也支持编程交互,自我意识,上下文-意识和适应。坚实的语义基础。。。为形式化开发逻辑、工具和方法推理论建立定性的制度行为。。。
  • 成功

  • 引用3篇文章[sw12332]
  • 提出一种新颖的近似方法推理. 这项工作在监理工作中具有实际应用价值。。。建议使用上下文-定向近似推理. 为此,我们介绍一个适当的。。。
  • 我*

  • 引用15篇文章[sw04447]
  • 使用定性分析推理接近。代理考虑依赖项的替代配置。。。评估他们在社会中的战略定位上下文. 框架用于上下文...
  • 生物战

  • 引用8篇文章[sw14607]
  • 通讯、卫生和政府基础设施。系统地原因关于疫情的性质,潜在的。。。各种预警装置的价值上下文,以及基础设施。数值模型。。。推理关于这样的事件。BioWar,一个可扩展的城市。。。
  • 理柏

  • 引用2篇文章[SW633号文件]
  • 逻辑。我们研究概率逻辑推理在一个上下文允许“部分真相”,集中注意力。。。
  • MBT公司

  • 参考6篇文章[sw08004]
  • 基于推理. 词性在某个特定的词中的词性标记上下文... 表示,(v)它的非参数性质,(vi)合理的对没有形态的未知词有很好的效果。。。IGTree还具有上下文消歧的大小是动态计算的。。。
  • 框架网

  • 引用5篇文章[sw01965]
  • 强制性的,例如在语义网中上下文,以实现例如更好的基于查询-回答的。。。不同的数量推理任务包含在上下文自然语言。。。
  • 雅加达

  • 引用18条[sw01269]
  • 自动化工具包(JAK),一个支持推理关于证明助手中的可执行规范。目标。。。它是在上下文作为输入。这个。。。
  • 林克斯

  • 1条引用【sw20270】
  • 命令式和并发系统上下文假设作为一组资源。。。需要管理和原因关于混合上下文线性和直觉的假设。我们呈现。。。一类混合线性逻辑框架上下文. Lincx允许我们建模(线性)抽象。。。也可作为推理关于这样的结构。Lincx扩展了线性逻辑。。。
  • 拉达

  • 引用4篇文章【sw20732】
  • 实现复杂的数据结构和原因关于确定是否。。。雷达可用于多种实用场合上下文...
  • 阿斯皮尔

  • 参考6篇文章[sw09852]
  • 方法推理关于攻击者消息派生,并在上下文OpenSSL的。。。
  • CSP校准仪

  • 引用15篇文章[sw11465]
  • 也包括无限的非决定论。为了这个原因,CSP Prover目前专注于稳定。。。完备度量空间(cms)。在这个上下文分别使用了不动点定理。。。
  • TPtool公司

  • 参考6篇文章[sw11769]
  • 形式,包括理论和算法上下文. 利用TP模型变换,对不同的优化方案进行了优化。。。在一个合理的时间量(不管。。。
  • 全景上下文

  • 引用3篇文章[sw32555]
  • PanoContext:整个房间3D上下文全景场景理解模型。视野。。。小,这是主要的原因上下文信息没有那么有用。。。了解现场情况,并提议整间房上下文三维模型。输入全景。。。
  • 瓦达洛语

  • 引用2篇文章[sw33095]
  • Vadalog系统:基于数据日志推理对于知识图。在过去的几年里,有。。。在工业上也是如此。在这个上下文,人们已经认识到要处理。。。目前遇到的基于边缘的方案,例如推理在大的知识图表,数据日志。。。