9067 search results - page 421 / 1814 » Adaptive Model Checking |
181
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
167
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
152
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
In this paper, we propose to improve our previously developed method for joint compensation of additive and convolutive distortions (JAC) applied to model adaptation. The improvem...
148
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A novel frame-wise model adaptation approach for reverberationrobust distant-talking speech recognition is proposed. It adjusts the means of static cepstral features to capture th...
208
click to vote
WOSP
2005
ACM
16 years 11 days ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...