9067 search results - page 283 / 1814 » Adaptive Model Checking |
174
click to vote
JFP
2006
15 years 6 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...
176
click to vote
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper introduces MOCAS (Model Of Components for Adaptive Systems), a generic state-based component model which enables the self-adaptation of software components together wit...
174
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
193
click to vote
MVA
2002
15 years 6 months ago
2002
2 Related Works Gaussian mixtures are often used for data modeling in many real-time applications such as video background modeling and speaker direction tracking. The real-time a...
186
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Log-linear models have recently been used in acoustic modeling for speech recognition systems. This has been motivated by competitive results compared to systems based on Gaussian...