19 search results - page 1 / 4 » Probabilistic Verification of Multiple-Valued Functions |
ISMVL
2000
IEEE
13 years 9 months ago
2000
IEEE
ISMVL
2000
IEEE
13 years 9 months ago
2000
IEEE
Multiple-valued decision diagrams (MDDs) give a way of approaching problems by using symbolic variables which are often more naturally associated with the problem statement than t...
ISMVL
2007
IEEE
13 years 11 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
DAC
2004
ACM
13 years 8 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
Recently, i-vector extraction and Probabilistic Linear Discriminant Analysis (PLDA) have proven to provide state-of-the-art speaker verification performance. In this paper, the s...