24529 search results - page 4435 / 4906 » Computing on Authenticated Data |
181
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this article we propose a cardiac motion estimation technique that uses non-rigid registration to compute the dense cardiac displacement field from 2D ultrasound sequ...
169
Voted
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
150
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
156
click to vote
ATS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a new test generation procedure for sequential circuits using newly traversed state and newly detected fault information obtained between successive iterations of vecto...
160
Voted
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a framework for tracking rigid objects based on an adaptive Bayesian recognition technique that incorporates dependencies between object features. At each frame we fin...