2771 search results - page 155 / 555 » Locality of Queries and Transformations |
172
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
157
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
145
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
The use of local features in computer vision has shown to be promising. Local features have several advantages including invariance to image transformations, independence of the ba...
146
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
—In this paper we investigate the local probability density function (pdf) of natural signals in sparse domains. The statistical properties of natural signals are characterized m...
160
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—Many indoor localization methods are based on the association of 802.11 wireless RF signals from wireless access points (WAPs) with location labels. An “organic” RF position...