Abstract—The IEEE 802.11 wireless LAN (WLAN) is a timetested technology, but it is still evolving towards even higher speeds and richer features. For multi-room IPTV delivery, wh...
— We present a novel algorithm for motion planning of multiple robots amongst dynamic obstacles. Our approach is based on a new roadmap representation that uses deformable links ...
Russell Gayle, Avneesh Sud, Ming C. Lin, Dinesh Ma...
This work extends the existing static framework for joint flow control, routing and medium access control (MAC) in random access multi-hop wireless networks to a dynamic framewor...
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...