2488 search results - page 165 / 498 » An improvement in formal verification |
115
click to vote
PR
2010
14 years 11 months ago
2010
This paper presents a new personal authentication system that simultaneously exploits 2D and 3D palmprint features. The objective of our work is to improve accuracy and robustness...
101
click to vote
CONIELECOMP
2005
IEEE
15 years 6 months ago
2005
IEEE
The approximate searching problem on compressed text tries to find all the matches of a pattern in a compressed text, without decompressing it and considering that the match of th...
137
click to vote
BIOSIG
2009
14 years 11 months ago
2009
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...
FM
1994
Springer
15 years 5 months ago
1994
Springer
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
130
click to vote
AIME
2005
Springer
15 years 6 months ago
2005
Springer
Clinical guidelines are becoming more and more important as a means to improve the quality of care by supporting medical staff. Modelling guidelines in a computer-processable form ...