1026 search results - page 117 / 206 » A Methodology for Equational Reasoning |
ICCV
2005
IEEE
14 years 11 months ago
2005
IEEE
In this paper we present a method for the tracking of fluid flows velocity fields. The technique we propose is formalized within sequential Bayesian filter framework. The filter w...
IPMI
1999
Springer
14 years 10 months ago
1999
Springer
The problem of reconstructing a binary image (usually an image in the plane and not necessarily on a Cartesian grid) from a few projections translates into the problem of solving a...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
The presence of replicas or near-replicas of documents is very common on the Web. Documents may be replicated completely or partially for different reasons (versions, mirrors, etc...
MICCAI
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Spatial priors, such as probabilistic atlases, play an important role in MRI segmentation. However, the availability of comprehensive, reliable and suitable manual segmen...
ICCAD
2001
IEEE
14 years 6 months ago
2001
IEEE
A mixed potential integral equation (MPIE) technique combined with fast multi-layer Green’s functions and Gaussian Jacobi high order techniques is used to compute the 3-D freque...