— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
– As silicon technology scales, we can integrate more and more circuits on a single chip, which means more I/Os are needed in modern designs. The flip-chip technology which was ...
This paper describes the use of a magnetic levitation haptic device (MLHD) to study the psychophysics of texture roughness. Studies of texture roughness perception performed using...
Bertram Unger, Ralph L. Hollis, Roberta L. Klatzky
— We propose a joint power- and rate-control scheme to broadcast a multiplicity of video sequences over a broadcast channel. The formulation is intended to be general in scope, w...
Abstract— In this paper, we develop an algorithm for determining the relative position and attitude of two robots moving in 3D, using only dead-reckoning and inter-robot distance...
Nikolas Trawny, Xun S. Zhou, Ke X. Zhou, Stergios ...