2488 search results - page 159 / 498 » An improvement in formal verification |
108
click to vote
ESA
2008
Springer
15 years 3 months ago
2008
Springer
A truthful mechanism consists of an algorithm augmented with a suitable payment function which guarantees that the "players" cannot improve their utilities by "chea...
104
click to vote
CONIELECOMP
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, a Euclidean distance based minutia matching algorithm is proposed to improve the matching accuracy in fingerprint verification system. This algorithm extracts match...
233
click to vote
BMVC
2002
15 years 3 months ago
2002
Statistical models of shape and appearance have been successfully used in face modeling, tracking and synthesis. In this paper we describe experiments using appearance models for ...
ASPDAC
2010
ACM
14 years 11 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
104
click to vote
ICITS
2009
14 years 11 months ago
2009
We observe that finding invalid signatures in batches of signatures that fail batch verification is an instance of the classical group testing problem. We present and compare new ...