— This research identifies a strategy called compliant formation control, which may be used to coordinate the navigational structure of a team of autonomous vehicles. This techni...
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...
Philippe Bergheaud, Dinesh Subhraveti, Marc Vertes
This paper describes a novel method to simulate an multichannel audio experience using stereo headphones. In contrast to conventional, convolution-based methods, the current appro...
Skinned Mesh Animation (SMA) well approximates a mesh animation with extracted bones and their transformations. However, unlike skeleton, bones in SMA are not organized in hierarc...