2488 search results - page 193 / 498 » An improvement in formal verification |
102
click to vote
INTERSPEECH
2010
14 years 8 months ago
2010
We propose a novel approach to modeling prosodic features. Inspired by Joint Factor Analysis model (JFA), our model is based on the same idea of introducing subspace of model para...
119
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In this work we focus on speaker verification on channels of varying quality, namely Skype and high frequency (HF) radio. In our setup, we assume to have telephone recordings of ...
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
In this paper we first introduce four kinds of modification of Symmetric Scoring [1] which produce likelihood ratios that do not need to be explicitly normalized, i.e. T-norm, Z...
DSD
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper suggests tools that provide significant improvements in the design and verification of FPGAbased digital circuits. These tools include reusable specifications of hardwa...
FLAIRS
2007
15 years 3 months ago
2007
In the paper we present a contribution to the SyntLex longterm-project aiming at a lexicon-grammar for Polish. A corpus-based method is presented for computer-assisted improvement...