226 search results - page 21 / 46 » More Legal Transformations for Locality |
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
This paper presents a novel approach for detecting affine invariant interest points. Our method can deal with significant affine transformations including large scale changes. Such...
ICCCN
2008
IEEE
15 years 6 months ago
2008
IEEE
– In this paper we present a distributed, self-organizing, localization method for wireless sensors and a scheme for reducing position estimate errors by employing a novel concep...
ICCV
2007
IEEE
15 years 6 months ago
2007
IEEE
Dimensionality reduction plays a fundamental role in data processing, for which principal component analysis (PCA) is widely used. In this paper, we develop the Laplacian PCA (LPC...
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Kernel-based trackers aggregate image features within the support of a kernel (a mask) regardless of their spatial structure. These trackers spatially fit the kernel (usually in l...