1219 search results - page 153 / 244 » Verification of Equivalent-Results Methods |
ICBA
2004
Springer
14 years 3 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...
ICDAR
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we present a method of recognizing inclined, rotated characters. First we construct an eigen sub-space for each category using the covariance matrix which is calcul...
FM
2003
Springer
14 years 3 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
COMPSAC
2000
IEEE
14 years 2 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
EUROMICRO
2000
IEEE
14 years 2 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...