9067 search results - page 491 / 1814 » Adaptive Model Checking |
166
click to vote
ENTCS
2006
15 years 7 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
162
click to vote
FAC
2007
15 years 7 months ago
2007
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. We have developed prope...
231
click to vote
CISS
2011
IEEE
14 years 10 months ago
2011
IEEE
—We analyze the fundamental limits of key generation and describe an implementation based on error correcting codes. We show that key extraction based on channel coefficients si...
233
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
200
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Linear regression based speaker adaptation approaches can improve Automatic Speech Recognition (ASR) accuracy significantly for a target speaker. However, when the available adapt...