13734 search results - page 2663 / 2747 » Abstractions of data types |
161
Voted
IPMI
2003
Springer
16 years 5 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...
127
click to vote
IPMI
2005
Springer
16 years 5 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...
157
Voted
WWW
2007
ACM
16 years 5 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...
254
click to vote
POPL
2009
ACM
16 years 5 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...
158
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...