379 search results - page 17 / 76 » Order in Space: A General Formalism for Spatial Reasoning |
COSIT
2009
Springer
14 years 3 months ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
GIS
2002
ACM
13 years 8 months ago
2002
ACM
A very important class of queries in GIS applications is the class of K-Nearest Neighbor queries. Most of the current studies on the K-Nearest Neighbor queries utilize spatial ind...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— In this paper differential space–frequency modulation (DSFM) for transmission over multiple–input multiple– output channels using orthogonal frequency division mu...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...