In the past, architectures of Augmented Reality systems have been widely different and taylored to specific tasks. In this paper, we use the example of the SHEEP game to show how...
Asa MacWilliams, Christian Sandor, Martin Wagner, ...
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltr...
We describe crawling and jumping by a deformable robot. Locomotion over rough terrain has been achieved mainly by rigid body systems including crawlers and leg mechanisms. This pap...
— We have proposed the concept of Man-Machine Synergy Effectors. These are high-performance tools for human use, which are realized by introducing robot technology. It becomes po...
This paper gives an overview of a transaction level modeling (TLM) design flow for straightforward embedded system design with SystemC. The goal is to systematically develop both...