1219 search results - page 144 / 244 » Verification of Equivalent-Results Methods |
Publication
Facial feature localization is an important task in numerous applications of face image analysis that
include face recognition and verification, facial expression recognition, dr...
WWW
2005
ACM
14 years 10 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
ICCAD
1999
IEEE
14 years 2 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
IJFCS
2006
13 years 10 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...