1622 search results - page 184 / 325 » Autonomous Mobile Programs |
CORR
2011
Springer
13 years 5 months ago
2011
Springer
Abstract— This paper investigates control laws allowing mobile, autonomous agents to optimally position themselves on the line for distributed sensing in a nonuniform field. We ...
POPL
2000
ACM
14 years 2 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
SAT
2007
Springer
14 years 4 months ago
2007
Springer
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
AIIA
2005
Springer
14 years 3 months ago
2005
Springer
Responsive environments are physical surroundings whose components change their behaviour to accommodate the presence of people as well as other components. We describe a means to ...
AAI
2007
13 years 10 months ago
2007
Responsive environments are physical surroundings whose components change their behaviour to accommodate the presence of people as well as other components. We describe a means to...