851 search results - page 42 / 171 » History Effects and Verification |
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
This article presents several techniques to combine between Support vector machines (SVM) and Joint Factor Analysis (JFA) model for speaker verification. In this combination, the...
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
Document security is an increasingly important element in the multi-faceted discipline of document processing, and authentication of individual identity will play an increasingly ...
ISPD
1998
ACM
15 years 4 months ago
1998
ACM
We propose a simple, isometry invariant pattern matching algorithm for an effective data reduction useful in layout-related data processing of very complex IC designs. The repeata...
110
click to vote
RTCSA
1997
IEEE
15 years 4 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...