2586 search results - page 400 / 518 » Automatic Abstraction for Congruences |
176
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present a fast and accurate tool for semiautomatic segmentation of volumetric medical images based on the live wire algorithm, shape-based interpolation and a new opti...
193
click to vote
PATMOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
137
click to vote
POS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Defining persistence in terms of reachability is fundamental to achieving orthogonality of persistence. It is implicit to the principles of orthogonal persistence and is ...
175
click to vote
VISUAL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The present work is focused on a global image characterization based on a description of the 2D displacements of the different shapes present in the image, which can be e...
177
click to vote
WEBDB
2000
Springer
15 years 10 months ago
2000
Springer
Web Modeling Language (WebML, http://webml.org) is a notation for visually specifying complex Web sites at the conceptual level. All the concepts of WebML are specified both graph...