2669 search results - page 26 / 534 » Complex Spatial Relationships |
FSTTCS
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
AIM
2004
13 years 10 months ago
2004
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
GIS
2010
ACM
13 years 9 months ago
2010
ACM
Many researchers throughout the world have been struggling to better understand and describe Spatial Data Infrastructures (SDIs). Our knowledge of the real forces and mechanisms b...
DCC
2005
IEEE
14 years 10 months ago
2005
IEEE
ct A very fast, low complexity algorithm for resolution scalable and random access decoding is presented. The algorithm is based on AGP (Alphabet and Group Partitioning) [1], where...
VTC
2006
IEEE
14 years 5 months ago
2006
IEEE
— The combination of space-time block codes (STBC) and spatial multiplexing (SM) schemes has the advantages of diversity gain and high data rate. For such STBC/SM hybrid systems,...