2488 search results - page 272 / 498 » An improvement in formal verification |
106
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
154
click to vote
ICPR
2006
IEEE
16 years 2 months ago
2006
IEEE
The performance of the fingerprint identification and verification systems relies heavily on the quality of the input fingerprint images. In this paper, we propose an effective im...
103
click to vote
ICBA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A feature-level fusion approach is proposed for improving the efficiency of palmprint identification. Multiple Gabor filters are employed to extract the phase information...
PR
2006
15 years 1 months ago
2006
In this paper, we propose a feature-level fusion approach for improving the efficiency of palmprint identification. Multiple elliptical Gabor filters with different orientations a...
DEDS
2002
15 years 1 months ago
2002
This article presents an extension to the timed binary Cell-DEVS paradigm. The goal is to allow the modelling of n-dimensional generic cell spaces, including transport or inertial...