1219 search results - page 112 / 244 » Verification of Equivalent-Results Methods |
130
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
- Simulation-based functional verification is characterized by two inherently conflicting targets: the signal visibility and simulation performance. Achieving a proper trade-off be...
166
click to vote
ICPR
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper investigates a new approach for personal authentication by combining unique biometric features which can be acquired from hand images alone. The proposed method attempt...
195
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
A successful detection and classification system must have two properties: it should be general enough to compensate for intra-class variability and it should be specific enough to...
299
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
169
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...