Haptic interfaces enable person-machine communication through touch, and most commonly, in response to user movements. We comment on a distinct property of haptic interfaces, that...
Changing the internal structure of a program without changing its behavior is called restructuring. This paper presents a transformation called tuck for restructuring programs by ...
Coring is a well-known technique for removing noise from images. The mechanism of coring consists of transforming a noise-degraded image into a frequency-domain representation, fol...
Peter M. B. van Roosmalen, Reginald L. Lagendijk, ...
We present an approach for creating conceptual representations of human-made indoor environments using mobile robots. The concepts refer to spatial and functional properties of ty...
We consider an ergodic process on finitely many states, with positive entropy. Our first main result asserts that the distribution function of the normalized waiting time for the f...