620 search results - page 45 / 124 » Methods and Practical Issues in Evaluating Alignment Techniq... |
135
click to vote
PAMI
2006
15 years 1 months ago
2006
This paper is concerned with the performance evaluation of fingerprint verification systems. After an initial classification of biometric testing initiatives, we explore both the t...
101
click to vote
COR
2006
15 years 1 months ago
2006
Discretization is defined as the process that divides continuous numeric values into intervals of discrete categorical values. In this article, the concept of cost-based discretiz...
107
click to vote
JSS
2007
15 years 1 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
107
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
117
click to vote
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
—We study the problem of supporting VoIP calls in a wireless mesh network. Specifically, we propose solutions for call admission control (CAC) and route selection for VoIP calls...