1392 search results - page 50 / 279 » A Calculus for Dynamic Linking |
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
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...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— 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 ...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
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...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
KI
2007
Springer
14 years 3 months ago
2007
Springer
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...