1219 search results - page 87 / 244 » Verification of Equivalent-Results Methods |
ICDAR
2011
IEEE
12 years 9 months ago
2011
IEEE
—In order to spot the digits in a handwritten document, each component is sent to a classifier. This is a time consuming process because a document usually contains several hundr...
SIGSOFT
2006
ACM
14 years 10 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
ACSD
2004
IEEE
14 years 1 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
BIOSIG
2008
13 years 11 months ago
2008
Abstract: Biometric authentication is often considered to enhance identity verification. The use of biometrics also introduces new challenges to protect the privacy of the subjects...
ENTCS
2006
13 years 10 months ago
2006
In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports ...