16513 search results - page 2824 / 3303 » Numerical Analysis Methods |
144
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
192
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. This study presents a novel automatic approach for the identification of anatomical brain structures in magnetic resonance images (MRI). The method combines a fast multis...
181
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Studies of myocardial motion using magnetic resonance imaging usually require multiple breath holds and several methods have been proposed in order to reduce the scan time. Rapid i...
203
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
Multisubject statistical analyses of diffusion tensor images in regions of specific white matter tracts have commonly measured only the mean value of a scalar invariant such as the...
167
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
This paper introduces a new benchmark study of evaluating landmark-based shape correspondence used for statistical shape analysis. Different from previous shape-correspondence eval...