9626 search results - page 22 / 1926 » Invariant Based Programming |
ICIP
2001
IEEE
14 years 11 months ago
2001
IEEE
In this paper, we develop a new approach for texture classification independent of affine transforms. Based on spectral representation of texture images under affine transform, an...
POPL
2006
ACM
14 years 10 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
ICASSP
2007
IEEE
14 years 4 months ago
2007
IEEE
The problem of shape-based recognition of objects under affine transformations is considered. We focus on the construction of a robust and highly discriminative affine invariant...
WISA
2004
Springer
14 years 3 months ago
2004
Springer
This paper addresses the problem of content-based synchronization for robust watermarking. Synchronization is a process of extracting the location to embed and detect the signature...
ECCV
2000
Springer
14 years 11 months ago
2000
Springer
This paper presents a theoretically very simple yet efficient approach for gray scale and rotation invariant texture classification based on local binary patterns and nonparametric...