1738 search results - page 41 / 348 » Local Consistency and SAT-Solvers |
PROPERTYTESTING
2010
13 years 5 months ago
2010
We survey known results regarding locally testable codes and locally testable proofs (known as PCPs), with emphasis on the length of these constructs. Local testability refers to a...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
Various local descriptors have been used successfully in a variety of tasks including object recognition. Although different descriptors have been shown to have different strength...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper presents an indoor human localization system for the visually impaired. A prototype portable device has been implemented, consisting of a pedometer and a standard wh...
FGR
2006
IEEE
14 years 1 months ago
2006
IEEE
We examined the open issue of whether FACS action units (AUs) can be recognized more accurately by classifying local regions around the eyes, brows, and mouth compared to analyzin...
AAAI
2007
13 years 10 months ago
2007
The Closed-World Assumption (CWA) on databases expresses that an atom not in the database is false. A more appropriate assumption for databases that are sound but partially incomp...