1219 search results - page 66 / 244 » Verification of Equivalent-Results Methods |
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
Signature identification and verification has been a topic of interest and importance for many years in the area of biometrics. In this paper we present an effective method to per...
CADE
2002
Springer
14 years 10 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
—Signatures continue to be an important biometric for authenticating the identity of human beings. This paper presents an effective method to perform off-line signature verificat...
ISSS
2000
IEEE
14 years 2 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
AIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...