2488 search results - page 149 / 498 » An improvement in formal verification |
100
click to vote
JUCS
2008
15 years 1 months ago
2008
: In this work we present a strategy for off-line signature verification. It takes into account a writer-independent model which reduces the pattern recognition problem to a 2-clas...
115
click to vote
FLAIRS
2001
15 years 2 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
111
click to vote
ICML
2010
IEEE
15 years 2 months ago
2010
IEEE
Restricted Boltzmann machines were developed using binary stochastic hidden units. These can be generalized by replacing each binary unit by an infinite number of copies that all ...
115
click to vote
IJNSEC
2008
15 years 1 months ago
2008
In a nominative proxy signature scheme, an original singer delegates his signing power to a proxy signer, who generates a nominative signature on behalf of the original signer. In...
105
click to vote
TSE
2002
15 years 25 days ago
2002
The Inequality Necessary Condition Analyzer (INCA) is a finite-state verification tool that has been able to check properties of some very large concurrent systems. INCA checks a p...