Abstract— We address the problem of three-axis sensor calibration. Our focus is on magnetometers. Usual errors (misalignment, non-orthogonality, scale factors, biases) are accoun...
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
Abstract. Mechanisms for adapting models, filters, regulators and so on to changing properties of a system are of fundamental importance in many modern identification, estimation...
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
Abstract. Based on the design of the CS Freiburg team, which participated sucessfully in Robocup’98, we developed a new team of robotic soccer players. While the hardware compone...
Bernhard Nebel, Jens-Steffen Gutmann, Wolfgang Hat...