9626 search results - page 111 / 1926 » Invariant Based Programming |
155
click to vote
POPL
2012
ACM
14 years 14 days 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...
159
click to vote
PAMI
2010
15 years 3 months ago
2010
—Image category recognition is important to access visual information on the level of objects and scene types. So far, intensity-based descriptors have been widely used for featu...
174
click to vote
DAGM
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we present a novel method for the voxel-wise extraction of rotation and gray-scale invariant features. These features are used for simultaneous segmentation and clas...
121
Voted
SP
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
118
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present a scheme towards recognition of English character in multi-scale and multi-oriented environments. Graphical document such as map consists of text lines w...