This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
This paper reports preliminary experiments with a provably correct model-based adaptive robot control algorithm for simultaneous position and force trajectory tracking of a robot ...
Louis L. Whitcomb, Suguru Arimoto, Tomohide Naniwa...
Many approaches have been proposed for in-vehicle obstacle detection using stereovision. Unfortunately, computation cost is generally a limiting factor for all these methods, espe...
Geometric algorithms are based on geometric objects such as points, lines and circles. The term Kernel refers to a collection of representations for constant-size geometric objects...
Susan Hert, Michael Hoffmann, Lutz Kettner, Sylvai...
Abstract. We present local conditions for input-output stability of recurrent neural networks with time-varying parameters introduced for instance by noise or on-line adaptation. T...