2162 search results - page 378 / 433 » Automated Reasoning on Feature Models |
162
click to vote
ICCV
2005
IEEE
2005
IEEE
Mutual Information-Based 3D Surface Matching with Applications to Face Recognition and Brain Mapping
15 years 9 months ago
Face recognition and many medical imaging applications require the computation of dense correspondence vector fields that match one surface with another. In brain imaging, surfac...
147
Voted
BMCBI
2010
15 years 4 months ago
2010
Background: Because a priori knowledge about function of G protein-coupled receptors (GPCRs) can provide useful information to pharmaceutical research, the determination of their ...
156
click to vote
COMMA
2006
15 years 5 months ago
2006
In this paper we present a novel approach for combining Case-Based Reasoning (CBR) and Argumentation. This approach involves 1) the use of CBR for evaluating the arguments submitt...
161
click to vote
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
159
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
This paper presents a novel and efficient algorithm for the 3D range to 2D image registration problem in urban scene settings. Our input is a set of unregistered 3D range scans an...