27 search results - page 6 / 6 » A Constructive Algebraic Hierarchy in Coq |
MICCAI
2007
Springer
14 years 5 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...
DAC
2007
ACM
14 years 5 months ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...