Sciweavers

1622 search results - page 126 / 325
» Autonomous Mobile Programs
Sort
View
ESOP
2000
Springer
14 years 2 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
DEXAW
2003
IEEE
106views Database» more  DEXAW 2003»
14 years 4 months ago
How to Program Pervasive Systems
As users, computers, data and processes become increasingly mobile and the diversity of interacting devices increases, pervasive computing tasks are difficult to predict and to u...
Andry Rakotonirainy
ICML
1996
IEEE
14 years 11 months ago
Passive Distance Learning for Robot Navigation
Autonomous mobile robots need good models of their environment, sensors and actuators to navigate reliably and efficiently. While this information can be supplied by humans, or le...
Sven Koenig, Reid G. Simmons
SAC
2009
ACM
14 years 5 months ago
Visual detection of novel terrain via two-class classification
Remote sensing of terrain characteristics is an important component for autonomous operation of mobile robots in natural terrain. Often this involves classification of terrain int...
Christopher A. Brooks, Karl Iagnemma