2468 search results - page 457 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
129
click to vote
CSL
2002
Springer
15 years 3 months ago
2002
Springer
We survey the use of weighted finite-state transducers (WFSTs) in speech recognition. We show that WFSTs provide a common and natural representation for HMM models, context-depend...
161
click to vote
FMSD
2007
15 years 3 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
126
Voted
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
— Forecast, detection and warning of severe weather and related hydro-geological risks is becoming one of the major issues for civil protection. The use of computational intellig...
116
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we incorporate autonomous agents' capability to perform parallel interactions into the cooperative search model, resulting in a new method which outperforms the...
124
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we consider an automatic-repeat-request (ARQ) retransmission protocol signaling over a block-fading multiple-input, multiple-output (MIMO) channel. Unlike previous ...