1864 search results - page 41 / 373 » Formal topology and domains |
GIS
1998
ACM
13 years 9 months ago
1998
ACM
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...
AAAI
2006
13 years 11 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
MOBIHOC
2009
ACM
14 years 10 months ago
2009
ACM
Location-free boundary recognition is crucial and critical for many fundamental network functionalities in wireless ad hoc and sensor networks. Previous designs, often coarse-grai...
PRL
2002
13 years 9 months ago
2002
This paper describes the generation of shape primitive detecting masks and their application in measurements on shapes as well as in conditions for topology preservation as used i...
JOT
2010
13 years 8 months ago
2010
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...