1219 search results - page 144 / 244 » Verification of Equivalent-Results Methods |
192
click to vote
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...
146
Voted
WWW
2005
ACM
16 years 4 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...
143
Voted
ICCAD
1999
IEEE
15 years 7 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...
127
click to vote
IJFCS
2006
15 years 3 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...
113
Voted
DAC
2005
ACM
16 years 4 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...