Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
Daniel Meyer-Delius, Christian Plagemann, Georg vo...
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Pr...
Abstract— In this paper, we analyze the throughput of interconnection networks, viewed as multi-stage queueing networks with infinite input queues, but finite internal cross-st...
Abstract— In this paper, we propose a multi-source multipath video streaming system to support concurrent Video-onDemand (VoD) services over Wireless Mesh Networks (WMNs), and ap...
Danjue Li, Qian Zhang, Chen-Nee Chuah, S. J. Ben Y...
Abstract— This paper presents measurements of radio interference using ”Ambient µNode” sensor nodes. We varied distances and frequencies giving us a measure of the amount of...