7049 search results - page 1312 / 1410 » Data Abstraction for CSP-OZ |
MICCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a novel method for photorealistic rendering of the bronchial lumen by directly deriving matched shading and texture parameters from video bronchoscope...
IPMI
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. For medical image analysis issues where the domain mappings between images involve large geometrical shape changes, such as the cases of nonrigid motion recovery and inte...
IPMI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We extend an information metric from intermodality (2image) registration to multimodality (multiple-image) registration so that we can simultaneously register multiple im...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Abstract We present OntoWiki, a tool providing support for agile, distributed knowledge engineering scenarios. OntoWiki facilitates the visual presentation of a knowledge base as a...
170
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...