513 search results - page 39 / 103 » Reduction Transformations in ORM |
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
129
click to vote
VLSID
2004
IEEE
16 years 7 days ago
2004
IEEE
demanding algorithm of a video encoder. It is known that about 60% ~ 80% of the total computation time is consumed for motion estimation [1]. The second is its high impact on the v...
ISCAS
2007
IEEE
15 years 6 months ago
2007
IEEE
—Discrete Cosine Transform (DCT) has been widely used in image/video coding systems, where zigzag scan is usually employed for DCT coefficient organization. However, due to local...
ICPR
2002
IEEE
15 years 4 months ago
2002
IEEE
We present a fast method for locating iris features in frontal face images based on the Hough transform. It consists of an initial iris detection step and a tracking step which us...
117
click to vote
ICDE
2002
IEEE
15 years 4 months ago
2002
IEEE
We consider the use of wavelet transformations as a dimensionality reduction technique to permit efficient similarity search over high-dimensional time-series data. While numerou...