Sciweavers

410 search results - page 30 / 82
» A Theory of Active Object Localization
Sort
View
PODS
2008
ACM
158views Database» more  PODS 2008»
14 years 7 months ago
Local Hoare reasoning about DOM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse...
COMPGEOM
2011
ACM
12 years 11 months ago
Compressive sensing with local geometric features
We propose a framework for compressive sensing of images with local geometric features. Specifically, let x ∈ RN be an N-pixel image, where each pixel p has value xp. The image...
Rishi Gupta, Piotr Indyk, Eric Price, Yaron Rachli...
CVPR
2011
IEEE
12 years 11 months ago
Aggregating Gradient Distributions into Intensity Orders: A Novel Local Image Descriptor
A novel local image descriptor is proposed in this paper, which combines intensity orders and gradient distributions in multiple support regions. The novelty lies in three aspects...
Bin Fan, Fuchao Wu, Zhanyi Hu
PLILP
1998
Springer
13 years 11 months ago
A Hidden Herbrand Theorem
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
Joseph A. Goguen, Grant Malcolm, Tom Kemp
CVPR
2008
IEEE
14 years 9 months ago
Local minima free Parameterized Appearance Models
Parameterized Appearance Models (PAMs) (e.g. Eigentracking, Active Appearance Models, Morphable Models) are commonly used to model the appearance and shape variation of objects in...
Minh Hoai Nguyen, Fernando De la Torre