2801 search results - page 383 / 561 » On the Adequateness of the Connection Method |
350
click to vote
IPMI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Three dimensional medial paths or curve skeletons (CS) are an essential component of any virtual endoscopy (VE) system, because they serve as flight paths for a virtual ...
164
click to vote
ROBOCUP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Coordination graphs offer a tractable framework for cooperative multiagent decision making by decomposing the global payoff function into a sum of local terms. Each age...
182
click to vote
SSD
2005
Springer
15 years 11 months ago
2005
Springer
This paper proposes and solves a-autonomy and k-stops shortest path problems in large spatial databases. Given a source s and a destination d, an aautonomy query retrieves a sequen...
170
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
We present a novel method for interactive retrieval of 3D shapes using physical objects. Our method is based on simple physical 3D interaction with a set of tangible blocks. As th...
150
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...