28 search results - page 4 / 6 » A Transformational Approach for Generating Non-linear Invari... |
POPL
2012
ACM
12 years 4 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...
SPIESR
2001
13 years 10 months ago
2001
This paper presents an image retrieval method based on region shape similarity. In our approach, we first segment images into primitive regions and then combine some of the primit...
VMV
2008
13 years 10 months ago
2008
Median averaging is a powerful averaging concept on sets of vector data in finite dimensions. A generalization of the median for shapes in the plane is introduced. The underlying ...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Based on multifractal analysis in wavelet pyramids of texture images, a new texture descriptor is proposed in this paper that implicitly combines information from both spatial and...
SCALESPACE
2007
Springer
14 years 2 months ago
2007
Springer
In the standard scale space approach one obtains a scale space representation u : Rd R+ → R of an image f ∈ L2(Rd ) by means of an evolution equation on the additive group (Rd ...