1219 search results - page 45 / 244 » Verification of Equivalent-Results Methods |
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
We investigate several feature normalization and scaling approaches for use in speaker verification based on support vector machines. We are particularly interested in methods th...
ICDAR
2007
IEEE
14 years 18 days ago
2007
IEEE
In this paper, we evaluate the performance on Arabic handwriting of the text-independent writer identification methods that we developed and tested on Western script in recent yea...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper deals with the interaction between progressive model adaptation and score normalization strategies which are used for reducing the variation in likelihood ratio scores ...
CAV
2010
Springer
14 years 2 days ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
SBMF
2010
Springer
13 years 3 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...