基本基本方向约束的成对一致性检验

2011 3rd International Conference on Electronics Computer Technology Pub Date : 2011-04-08 DOI:10.1109/ICECTECH.2011.5941720

Wei-Zhi Sun, Tingxin Ma, Jihong Ouyang, Da-you Liu

{"title":"基本基本方向约束的成对一致性检验","authors":"Wei-Zhi Sun, Tingxin Ma, Jihong Ouyang, Da-you Liu","doi":"10.1109/ICECTECH.2011.5941720","DOIUrl":null,"url":null,"abstract":"In this paper we study a formal model for qualitative spatial reasoning with cardinal direction relations called direction-relation matrix. We give an O(n2) algorithm to check the pairwise-consistency of basic cardinal direction constraints with the variables ranging over the set of simple regions. To the best of our knowledge, this was an open problem. A previous algorithm of the same model with our paper for this problem works in O(n3).","PeriodicalId":184011,"journal":{"name":"2011 3rd International Conference on Electronics Computer Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Pairwise-consistency checking of basic cardinal direction constraints\",\"authors\":\"Wei-Zhi Sun, Tingxin Ma, Jihong Ouyang, Da-you Liu\",\"doi\":\"10.1109/ICECTECH.2011.5941720\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we study a formal model for qualitative spatial reasoning with cardinal direction relations called direction-relation matrix. We give an O(n2) algorithm to check the pairwise-consistency of basic cardinal direction constraints with the variables ranging over the set of simple regions. To the best of our knowledge, this was an open problem. A previous algorithm of the same model with our paper for this problem works in O(n3).\",\"PeriodicalId\":184011,\"journal\":{\"name\":\"2011 3rd International Conference on Electronics Computer Technology\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-04-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 3rd International Conference on Electronics Computer Technology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICECTECH.2011.5941720\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 3rd International Conference on Electronics Computer Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICECTECH.2011.5941720","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

本文研究了一种具有基本方向关系的定性空间推理的形式化模型——方向关系矩阵。我们给出了一种O(n2)算法来检验基本基本方向约束在简单区域集合上的两两一致性。据我们所知，这是一个悬而未决的问题。与本文相同模型的先前算法在O(n3)中有效。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Pairwise-consistency checking of basic cardinal direction constraints

In this paper we study a formal model for qualitative spatial reasoning with cardinal direction relations called direction-relation matrix. We give an O(n2) algorithm to check the pairwise-consistency of basic cardinal direction constraints with the variables ranging over the set of simple regions. To the best of our knowledge, this was an open problem. A previous algorithm of the same model with our paper for this problem works in O(n3).

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2011 3rd International Conference on Electronics Computer Technology

自引率

0.00%

发文量