7064 search results - page 131 / 1413 » From States to Histories |
188
click to vote
STTT
2008
15 years 6 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
109
click to vote
TIT
1998
15 years 6 months ago
1998
—To estimate the convolutional encoder state from received data, one may use the inverse to the encoder G. However, channel errors make this method unreliable. We propose a metho...
177
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In modern automatic speech recognition systems, it is standard practice to cluster several logical hidden Markov model states into one physical, clustered state. Typically, the cl...
199
click to vote
SEKE
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
179
click to vote
ATVA
2004
Springer
15 years 12 months ago
2004
Springer
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...