38 search results - page 5 / 8 » Programming modular robots with locally distributed predicat... |
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planner...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
Profiling can accurately analyze program behavior for select data inputs. We show that profiling can also predict program locality for inputs other than profiled ones. Here loc...
AI
1999
Springer
13 years 8 months ago
1999
Springer
This article describes the software architecture of an autonomous, interactive tour-guide robot. It presents a modular, distributed software architecture, which integrates localiz...
ICTAC
2010
Springer
13 years 6 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...