132 search results - page 12 / 27 » Mapping Validation by Probabilistic Reasoning |
CSB
2004
IEEE
13 years 11 months ago
2004
IEEE
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...
CVPR
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper describes an algorithm for pose and illumination invariant face recognition from a single image under occlusions. The method iteratively estimates the parameters of a 3...
LICS
2002
IEEE
14 years 12 days ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
In order to perform medical image registration, landmarks are used to settle correspondences between images. A landmark is a voxel in the image that corresponds to a well-defined ...