1875 search results - page 184 / 375 » A Calculus of Broadcasting Systems |
146
click to vote
ENTCS
2006
15 years 3 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
151
click to vote
UTP
2010
15 years 2 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
130
click to vote
WWIC
2005
Springer
15 years 9 months ago
2005
Springer
A rudimentary approach to mitigate interference issues in license-exempt 802.16 systems is presented. This approach operates by permitting each Base Station (BS), and associated Su...
118
click to vote
NAACL
2007
15 years 5 months ago
2007
This paper describes the CMU/InterACT effort in developing an Arabic Automatic Speech Recognition (ASR) system for broadcast news and conversations within the GALE 2006 evaluation...
146
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...