9067 search results - page 532 / 1814 » Adaptive Model Checking |
203
click to vote
TASLP
2002
15 years 6 months ago
2002
This paper presents a framework for maximum a posteriori (MAP) speaker adaptation of state duration distributions in hidden Markov models (HMM). Four key issues of MAP estimation, ...
163
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
To achieve natural high quality synthesised speech in HMMbased speech synthesis, the effective modelling of complex acoustic and linguistic contexts is critical. Traditional appro...
187
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Discriminative mapping transforms (DMTs) is an approach to robustly adding discriminative training to unsupervised linear adaptation transforms. In unsupervised adaptation DMTs ar...
183
click to vote
SP
1998
IEEE
15 years 11 months ago
1998
IEEE
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...
192
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...