7121 search results - page 1019 / 1425 » Functions as Session-Typed Processes |
196
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper presents a cooperative strategy between volumetric registration and segmentation. The segmentation method is based on the level set formalism. Starting from an initial ...
175
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
159
click to vote
DAC
1999
ACM
16 years 7 months ago
1999
ACM
Due to the unavoidable need for system debugging, performance tuning, and adaptation to new standards, the engineering change (EC) methodology has emerged as one of the crucial co...
169
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Currently, hardware intellectual property (IP) is delivered at vels of abstraction: hard, firm, and soft. In order to further enhance performance, efficiency, and flexibility of I...
201
Voted
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
We present a novel automatic multiscale algorithm applied to segmentation of anatomical structures in brain MRI. The algorithm which is derived from algebraic multigrid, uses a gra...