Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
— This paper addresses the problem of naturally looking and energy efficient walk of biped humanoids. We presuppose that such walk requires motion control capability around kine...
Kentaro Takahashi, M. Noda, Dragomir N. Nenchev, Y...
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
- With the use of an immersive display system such as the CAVE, the user is able to perceive a 3D environment realistically. However, the interaction on such systems faces some dif...
Miranda Miranda Miguel, Takefumi Ogawa, Kiyoshi Ki...
In this paper we describe Lokutor, a virtual human. Lokutor is a partially autonomous agent, inhabiting a 3D virtual environment. The agent can be controlled via natural language ...