2265 search results - page 122 / 453 » On the Power of Local Orientations |
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
FOSSACS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
We present a new localization algorithm called Sensor Resetting Localization which is an extension of Monte Carlo Localization. The algorithm adds sensor based resampling to Monte...
ICIP
2010
IEEE
13 years 6 months ago
2010
IEEE
In partial-duplicate image retrieval, images are commonly represented using Bag-of-visual-Words (BoW) built from image local features, such as SIFT. Therefore, the discriminative ...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
Recently, we proposed a novel facial representation for face recognition based on Local Binary Pattern (LBP) features. We obtained excellent results when dividing the face images ...