7064 search results - page 266 / 1413 » From States to Histories |
171
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
This paper describes a new method for building compact context-dependency transducers for finite-state transducer-based ASR decoders. Instead of the conventional phonetic decision...
158
click to vote
PTS
2007
15 years 8 months ago
2007
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...
172
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
An error that occurs in a microkernel operating system service can potentially result in state corruption and service failure. A simple restart of the failed service is not always...
167
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
156
click to vote
ACMACE
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we present a new entertainment adaptive framework AIRSF for stress free air travels. Based on the passenger's current and target comfort states, user entertain...