9067 search results - page 217 / 1814 » Adaptive Model Checking |
147
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
154
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
129
click to vote
AH
2006
Springer
16 years 12 days ago
2006
Springer
This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to p...
176
click to vote
ICASSP
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper deals with the interaction between progressive model adaptation and score normalization strategies which are used for reducing the variation in likelihood ratio scores ...
175
Voted
JUCS
2008
15 years 6 months ago
2008
: At present a large amount of research exists into the design and implementation of adaptive systems. However, not many target the complex task of authoring in such systems, or th...