9067 search results - page 311 / 1814 » Adaptive Model Checking |
118
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— For the class of MIMO minimal LTI systems controlled by an estimation based multiple model switched adaptive controller (EMMSAC), bounds are obtained for the closed loop lp gai...
180
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a new approach to HMM adaptation that jointly compensates for additive and convolutive acoustic distortion in environment-robust speech recognition. The ...
161
click to vote
ECOOP
2007
Springer
16 years 25 days ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
192
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
164
click to vote
ACL
2008
15 years 8 months ago
2008
We present the development and tuning of a topic-adapted language model for word prediction, which improves keystroke savings over a comparable baseline. We outline our plans to d...