51 search results - page 2 / 11 » A Formal Approach to Qualitative Reasoning on Topological Pr... |
CN
2006
13 years 5 months ago
2006
Internet maps are generally constructed using the traceroute tool from a few sources to many destinations. It appeared recently that this exploration process gives a partial and bi...
MIDDLEWARE
2007
Springer
13 years 11 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
LPAR
2010
Springer
13 years 3 months ago
2010
Springer
We address the problem of merging qualitative constraint networks (QCNs) representing agents local preferences or beliefs on the relative position of spatial or temporal entities. ...
GEOINFORMATICA
2011
13 years 9 days ago
2011
The research reported in this paper uses wireless sensor networks to provide salient information about spatially distributed dynamic fields, such as regional variations in tempera...
AI
2000
Springer
13 years 5 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...