2940 search results - page 404 / 588 » Relational Parametricity and Control |
184
click to vote
VIS
2007
IEEE
16 years 6 months ago
2007
IEEE
Abstract-This paper describes a method for constructing isosurface triangulations of sampled, volumetric, three-dimensional scalar fields. The resulting meshes consist of triangles...
137
Voted
MICCAI
2009
Springer
16 years 6 months ago
2009
Springer
In this paper we address the challenge of matching patient geometry to facilitate the design of patient treatment plans in radiotherapy. To this end we propose a novel shape descri...
137
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
152
click to vote
MICCAI
2006
Springer
16 years 6 months ago
2006
Springer
Spinal cord analysis is an important problem relating to the study of various neurological diseases. We present a novel approach to spinal cord segmentation in magnetic resonance i...
165
click to vote
MICCAI
2006
Springer
16 years 6 months ago
2006
Springer
We introduce an elastic registration approach which is based on a physical deformation model and uses Gaussian elastic body splines (GEBS). We formulate an extended energy function...