439 search results - page 46 / 88 » Mobile Process Description and Execution |
AROBOTS
2002
13 years 7 months ago
2002
This paper concerns the exploration of a natural environment by a mobile robot equipped with both a video color camera and a stereo-vision system. We focus on the interest of such ...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— To autonomously navigate on rough terrain is a challenging problem for mobile robots, requiring the ability to decide whether parts of the environment can be traversed ...
MSE
2002
IEEE
14 years 23 days ago
2002
IEEE
In this paper we describe an authoring environment which allows the author to set up and test a complex multimedia presentation by defining the synchronization relationships amon...
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
SDL
2007
13 years 9 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...