1219 search results - page 46 / 244 » Verification of Equivalent-Results Methods |
FMSD
1998
13 years 8 months ago
1998
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by reachability analyses for applications that defeat anal...
ICBA
2004
Springer
14 years 2 months ago
2004
Springer
Combining multiple biometrics may enhance the performance of personal authentication system in accuracy and reliability. In this paper, we compare 13 combination methods in the con...
FMCAD
2004
Springer
14 years 14 days ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
FM
2006
Springer
14 years 12 days ago
2006
Springer
Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In th...
FMCO
2006
Springer
14 years 12 days ago
2006
Springer
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...