1875 search results - page 20 / 375 » A Calculus of Broadcasting Systems |
140
Voted
RELMICS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...
106
Voted
WDAG
2004
Springer
15 years 9 months ago
2004
Springer
We study the power of reliable anonymous distributed systems, where processes do not fail, do not have identifiers, and run identical programmes. We are interested specifically i...
142
Voted
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
121
Voted
LREC
2010
15 years 5 months ago
2010
This paper investigates the effectiveness of online temporal language model adaptation when applied to a Thai broadcast news transcription task. Our adaptation scheme works as fol...
109
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We present an algorithm for computing directly the denotation of a modal