660 search results - page 49 / 132 » Reasoning about Dynamic Policies |
102
click to vote
PERCOM
2005
ACM
15 years 11 months ago
2005
ACM
Mobile devices like PDAs or mobile phones have become widespread. Similarly, network functionality like GSM, Bluetooth, or WLAN has become standard. Nevertheless, not many applica...
AIML
2006
15 years 1 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this video, we demonstrate the effectiveness of a kinodynamic planning strategy that allows a high-impedance quadruped to operate across a variety of rough terrain. At one e...
DBPL
2003
Springer
15 years 5 months ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— This paper presents a strategy for planning robot motions in dynamic, cluttered, and uncertain environments. Successful and efficient operation in such environments requires r...