22 search results - page 1 / 5 » The problem of verification with reference to the Girkmann p... |
EWC
2010
13 years 9 months ago
2010
ISI
2005
Springer
14 years 4 months ago
2005
Springer
Verification of legitimate access of documents, which is one aspect of the umbrella of problems in the Insider Threat category, is a challenging problem. This paper describes the r...
ICDAR
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper deals with an off-line Japanese signature verification using a pattern matching method. An annoying problem encountered in off-line signature verification using a patte...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
ICCAD
1996
IEEE
14 years 3 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...