—We present new results on reconstruction of the shape and motion of an unknown object using tactile sensors without requiring objectimmobilization. Arobotmanipulatestheobjectwit...
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
Previous models of dynamic querying supported by query previews have focussed on attribute based querying, have required information providers to create preview tables, and have p...
: This paper describes a representation of the meanings of verbs based on the dynamics of interactions between two agents or objects. The representation treats interactions as havi...
This paper presents a new approach to design embedded systems based on dynamic partial reconfigurable FPGAs. The approach is intended to allow designing of systems with runtime re...
Andreas Schallenberg, Frank Oppenheimer, Wolfgang ...