1875 search results - page 283 / 375 » A Calculus of Broadcasting Systems |
114
Voted
HASKELL
2008
ACM
15 years 1 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
78
Voted
CORR
2008
Springer
15 years 22 days ago
2008
Springer
Information-driven networks include a large category of networking systems, where network nodes are aware of information delivered and thus can not only forward data packets but m...
120
Voted
SEMWEB
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents SERSE – SEmantic Routing SystEm– a distributed multi-agent system composed of specialised agents that provides robust and efficient gathering and aggregati...
99
Voted
INTERSPEECH
2010
14 years 7 months ago
2010
This paper presents a method for rescoring the speech recognition lattices on-the-fly to increase the word accuracy while preserving low latency of a real-time speech recognition ...
91
Voted
FLOPS
2010
Springer
15 years 7 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...