1145 search results - page 8 / 229 » Spatial Computing: The TOTA Approach |
FSTTCS
2001
Springer
15 years 2 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 ...
107
click to vote
SASO
2008
IEEE
15 years 3 months ago
2008
IEEE
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...
MICCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a new method for the fast and robust computation of information theoretic similarity measures for alignment of multi-modality medical images. The proposed meth...
CHI
2002
ACM
15 years 10 months ago
2002
ACM
Blind or visually impaired users typically access diagrams in the tactile medium. This paper describes TouchMelody, a system designed for augmenting such existing diagrams with 3D...
GEOINFORMATICA
1998
14 years 9 months ago
1998
Due to the increasing popularity of spatial databases, researchers have focused their efforts on improving the query processing performance of the most expensive spatial database ...