2488 search results - page 118 / 498 » An improvement in formal verification |
117
click to vote
EJC
2008
15 years 2 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
106
Voted
ICIP
2007
IEEE
15 years 7 months ago
2007
IEEE
Symmetric phase-only filter (SPOF) has been widely applied to image registration and recognition, and has been proved efficient for fingerprint verification. Fingerprint images ha...
98
Voted
MCS
2004
Springer
15 years 6 months ago
2004
Springer
Recent works about perceptron-based fusion of multiple fingerprint matchers showed the effectiveness of such approach in improving the performance of personal identity verification...
108
Voted
FGR
2004
IEEE
15 years 4 months ago
2004
IEEE
One of the major problem in face verification is to deal with a few number of images per person to train the system. A solution to that problem is to generate virtual samples from...
126
Voted
BTW
2009
Springer
15 years 4 months ago
2009
Springer
: The integrity of B-tree structures can become compromised for many reasons. Since these inconsistencies manifest themselves in unpredictable ways, all commercial database managem...