This paper describes the rationale and subsequent development stages of a work in progress: a graffiti toolkit for rich spatial 3D environments and an actual world mnemonic collec...
Abstract. The Segway Human Transport (HT) is a one person dynamically selfbalancing transportation vehicle. The Segway Robot Mobility Platform (RMP) is a modification of the HT cap...
Abstract. To make a robot team perform a soccer game, various technologies must be developed. To date, we constructed a multi-sensor based mobile robot for robotic soccer research....
Abstract-- This paper introduces a novel concept from coalitional game theory which allows the dynamic formation of coalitions among wireless nodes. A simple and distributed merge ...
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...