Abstract— This paper presents a within-stride feedback controller that achieves an exponentially stable, periodic, and fast walking gait for a 3D bipedal robot consisting of a to...
Jessy W. Grizzle, Christine Chevallereau, Ching-Lo...
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
Telepointers are a real-time groupware interface feature to indicate where other users are pointing. None of existing telepointer techniques, however, is capable of tracking the r...
A fast design variation technique for mechanical systems is presented. It is used to interactively optimize mechanical characteristics while "self-assembling" or satisfy...