Sciweavers

43 search results - page 4 / 9
» The Implementation of a Natural Admittance Controller on an ...
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 2 months ago
Verifying Information Flow Control over Unbounded Processes
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...
IROS
2006
IEEE
121views Robotics» more  IROS 2006»
14 years 1 months ago
Static Walk of a Humanoid Robot Based on the Singularity-Consistent Method
— 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...
TACAS
1998
Springer
81views Algorithms» more  TACAS 1998»
13 years 11 months ago
Formal Design and Analysis of a Gear Controller
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...
Magnus Lindahl, Paul Pettersson, Wang Yi
ICAT
2007
IEEE
14 years 1 months ago
A PDA-based See-through Interface within an Immersive Environment
- 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...
LDVF
2000
112views more  LDVF 2000»
13 years 7 months ago
The instructible agent Lokutor
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 ...
Jan-Torsten Milde