9067 search results - page 281 / 1814 » Adaptive Model Checking |
166
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
131
Voted
ASIAMS
2007
IEEE
16 years 1 months ago
2007
IEEE
157
click to vote
IJCNN
2006
IEEE
16 years 20 days ago
2006
IEEE
— Oscillatory network model with controllable oscillator dynamics and self-organized dynamical coupling has been created for synchronization-based image processing. The model was...
173
click to vote
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper considers dynamic language model adaptation for Mandarin broadcast news recognition. Both contemporary newswire texts and in-domain automatic transcripts were exploited...
183
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...