4767 search results - page 518 / 954 » Structures for Abstract Rewriting |
210
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
Variable ordering for BDDs has been extensively investigated. Recently, sampling based ordering techniques have been proposed to overcome problems with structure based static orde...
205
click to vote
DAC
2001
ACM
16 years 8 months ago
2001
ACM
Communication-based design represents a formal approach to systemon-a-chip design that considers communication between components as important as the computations they perform. Ou...
198
click to vote
MICCAI
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We present a method for automatically finding correspondence in Diffusion Tensor Imaging (DTI) from deformable registration to a common atlas. The registration jointly pr...
217
click to vote
MICCAI
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. In medical imaging, finding landmarks that provide biologically meaningful correspondences is often a challenging and time-consuming manual task. In this paper we propose...
177
click to vote
MICCAI
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. This paper explores the use of deformable mesh for registration of microscopic iris image sequences. The registration, as an effort for stabilizing and rectifying images ...