1738 search results - page 63 / 348 » Local Consistency and SAT-Solvers |
SIGIR
2002
ACM
13 years 7 months ago
2002
ACM
We compare standard global IR searching with user-centric localized techniques to address the database selection problem. We conduct a series of experiments to compare the retriev...
MLQ
2007
13 years 7 months ago
2007
Local sentences were introduced by Ressayre in [Res88] who proved certain remarkable stretching theorems establishing the equivalence between the existence of finite models for t...
IJRR
2010
13 years 6 months ago
2010
—In this paper, we present the design and analysis of a portable position and orientation (pose) estimation aid for the visually impaired. Our prototype navigation aid consists o...
PAMI
2010
13 years 6 months ago
2010
—Inspired by Weber’s Law, this paper proposes a simple, yet very powerful and robust local descriptor, called the Weber Local Descriptor (WLD). It is based on the fact that hum...
IGARSS
2010
13 years 5 months ago
2010
We present first results from the analysis of high-rate observations with a GNSS-based tide gauge at the Onsala Space Observatory. The goal is to determine local sea level with hi...