4084 search results - page 381 / 817 » Constraints in spatial structures |
189
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
163
Voted
DIGRA
2003
Springer
16 years 2 days ago
2003
Springer
Instead of confining the player to a single role, the active participator model positions the player in a more flexible position towards the fictional gameworld: involved and imme...
191
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
We propose multi-precision similarity matching where the image is divided into a number of subblocks, each with its associated color histogram. We present experimental results sho...
183
Voted
SSDBM
1998
IEEE
15 years 11 months ago
1998
IEEE
: A new issue that arises in modern applications involves the efficient manipulation of (static or moving) spatial objects, and the relationships among them. As a result, modern da...
152
click to vote
VMV
2008
15 years 8 months ago
2008
In this paper we discuss generalizations of instantaneous, local vortex criteria. We incorporate information on spatial context and temporal development into the detection process...