Sciweavers

1172 search results - page 90 / 235
» Approximate Reasoning Based on Similarity
Sort
View
COMPLIFE
2006
Springer
14 years 1 months ago
A Point-Matching Based Algorithm for 3D Surface Alignment of Drug-Sized Molecules
Abstract. Molecular shapes play an important role in molecular interactions, e.g., between a protein and a ligand. The `outer' shape of a molecule can be approximated by its s...
Daniel Baum, Hans-Christian Hege
PAMI
1998
145views more  PAMI 1998»
13 years 9 months ago
An Analytic-to-Holistic Approach for Face Recognition Based on a Single Frontal View
—In this paper, we propose an analytic-to-holistic approach which can identify faces at different perspective variations. The database for the test consists of 40 frontal-view fa...
Kin-Man Lam, Hong Yan
CORR
2006
Springer
123views Education» more  CORR 2006»
13 years 10 months ago
Counting good truth assignments of random k-SAT formulae
We present a deterministic approximation algorithm to compute logarithm of the number of `good' truth assignments for a random k-satisfiability (k-SAT) formula in polynomial ...
Andrea Montanari, Devavrat Shah
POPL
2007
ACM
14 years 10 months ago
Context logic as modal logic: completeness and parametric inexpressivity
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
NIPS
1997
13 years 11 months ago
Structure Driven Image Database Retrieval
A new algorithm is presented which approximates the perceived visual similarity between images. The images are initially transformed into a feature space which captures visual str...
Jeremy S. De Bonet, Paul A. Viola