• SLMC公司

  • 引用72篇文章[sw04604]
  • 活性和结构属性在空间Caires和Cardelli的并发逻辑。。。拓扑结构原因关于空间特性和结构动力学。SLMC。。。
  • GeoSPARQL公司

  • 引用4篇文章[sw40090]
  • 与生俱来的空间上下文。没有空间 推理但是,这个的价值空间上下文。。。利用这些知识并使空间 推理。这些尝试提供了不同程度的支持。。。
  • 科梅特

  • 引用4篇文章[sw21352]
  • 某些类型的时间和空间 推理。结合可扩展类型系统。。。
  • 斯巴克

  • 引用3篇文章[sw14946号]
  • 定性的空间代表和推理在SparQ工具箱中。。。质性结石空间 推理(QSR)在上一次。。。
  • 颗粒空间

  • 引用3篇文章[sw11708]
  • 论文中,我们提出了PelletSpatial,一个定性的空间 推理发动机安装在弹丸顶部。粒子空间。。。提供一致性检查和查询应答空间用区域连接演算表示的数据。。。两种关系类型。Pelletspace实现两个RCC推理者:(a)a推理机根据语义。。。
  • 蚂蚁网

  • 引用了65篇文章[sw11975号]
  • 几个范式下的节点数空间以及时间交通分布。结果非常。。。并尝试解释原因因为它的优越性。。。
  • 触地

  • 1条引用[sw38210]
  • 触地:自然语言导航和空间 推理在视觉街道环境中。我们研究这个问题。。。通过导航和空间 推理任务。我们介绍了着陆任务和数据集。。。英语说明书和空间描述与演示相结合。实证分析表明,数据具有很强的相关性。。。数据显示更丰富的使用空间 推理与相关资源相比。。。
  • 刚果民主共和国

  • 1条引用[sw14739]
  • 矩形基数关系。定性的空间代表和推理在各种空间... 形式主义,我们称之为RCD,用于定性空间 推理区域间的基本方向关系。。。适合应用。我们的地址空间 推理使用嵌入在约束范式中的方法。。。允许原因有明确的、不确定的或不精确的知识空间表示的配置。。。
  • 空间稳定器

  • 引用5篇文章[sw23669]
  • 包含合理的技术范围空间统计学、地统计学和空间计量经济学。。。
  • 概念网

  • 参考33篇文章[sw10660]
  • 支持许多实用文本的工具包-推理包括主题在内的真实文档上的任务。。。包括空间生理、社会、时间和心理方面。。。
  • 维斯克

  • 1条引用[sw36517]
  • 在文本和图像上推理关于空间相对一致性的配置。。。也增加了开放域问题的答案推理...
  • 八字网

  • 引用4篇文章[sw36664]
  • 分层和空间上-aware特征学习,以及关节2D-3D推理.两点。。。
  • 生态模拟

  • 引用15篇文章[sw10699]
  • 海洋科学问题。为了这些原因,Ecopath软件最近被认可。。。政策探索单元;生态空间-a空间并初步设计了时序动态模块。。。
  • 韦尔夫

  • 参考6篇文章[sw13286]
  • 证明它们之间的关系有助于不同推理风格和证明技巧。par验证Vellvm。。。建议的转换,使C程序更坚固空间内存安全违规。Vellvm的工具允许。。。
  • DDFS3D

  • 1条引用[sw39912]
  • 模拟嵌入大型空间域。然而,在文献中,关于DDM/FSM的研究。。。很少见,还有一把钥匙原因就在于交通不便。。。
  • 普林尼

  • 1条引用[sw09902]
  • 对不一致有“干净”的定义。但是,什么时候推理关于新闻报道的事件。。。解释了数字、时间和空间新闻中出现的术语。我们开发。。。
  • 特拉斯塔特

  • 1条引用[sw29470]
  • 轨迹可以用不同的空间模式。例如,只使用级别。。。选择为集群模型。A合理的最大聚类数可以通过视觉。。。
  • 差距

  • 引用了3068篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。