45 search results - page 3 / 9 » Congruence of (2 |
ICCAD
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
DAGM
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper presents a novel approach towards detecting intrinsically two-dimensional (i2D) image structures using local phase information. The local phase of the i2D stru...
CONCUR
2005
Springer
13 years 11 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
MOC
2010
13 years 25 days ago
2010
We give an elementary way to distinguish between the twists of an ordinary elliptic curve E over Fp in order to identify the one with p+1-2U points, when p = U2 + dV 2 with 2U, 2V ...
BIOID
2008
13 years 8 months ago
2008
The paper presents a fully automatic palmprint verification system which uses 2D phase congruency to extract line features from a palmprint image and subsequently performs linear d...