7167 search results - page 335 / 1434 » A Technique for Invariant Generation |
225
click to vote
FGR
2008
IEEE
16 years 2 months ago
2008
IEEE
Deformations caused by facial expression variations complicate the task of 3D face registration which is vital for successful 3D face recognition systems. In this work, we propose...
132
click to vote
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents a technique to remove image artefacts, formed under the cyclic additive group Zp, during the inverse Radon reconstruction from primedimensioned discrete projec...
158
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
202
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
202
click to vote
ARITH
2005
IEEE
16 years 1 months ago
2005
IEEE
Integer division on modern processors is expensive compared to multiplication. Previous algorithms for performing unsigned division by an invariant divisor, via reciprocal approxi...