2488 search results - page 163 / 498 » An improvement in formal verification |
100
Voted
MICRO
2008
IEEE
15 years 1 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
121
click to vote
ICTAC
2010
Springer
14 years 11 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
Many speaker verification (SV) systems combine multiple classifiers using score-fusion to improve system performance. For SVM classifiers, an alternative strategy is to combine...
105
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
The performance of a typical speaker verification system degrades significantly in reverberant environments. This degradation is partly due to the conventional feature extractio...
135
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
We describe recent progress in the field of prosodic modeling for speaker verification. In a previous paper, we proposed a technique for modeling syllable-based prosodic feature...