1876 search results - page 292 / 376 » Language Networks on LiveJournal |
152
click to vote
TEDU
2010
15 years 2 months ago
2010
In training and gaming systems, distributed multimedia are often used, in which the basic content elements must be conveyed or presented in a synchronized order at synchronized mom...
131
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
160
click to vote
NFM
2011
14 years 11 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
162
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
In this work, the RWTH automatic speech recognition systems for English and German for the second Quaero evaluation campaign 2009 are presented. The systems are designed to transc...
193
click to vote
EUROSYS
2010
ACM
15 years 10 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...