The paper presents a new multiplier enabling achievement of an arbitrary accuracy. It follows the same idea of number representation as the Mitchell’s algorithm, but does not use...
A lot of sophisticated techniques and platforms have been proposed to build distributed object systems. Remote method invocation and explicit message passing on top of traditional...
In this paper we present a new approach for modelling multiple object scenes using images taken from various viewpoints. The voxel representation produced by the space carving is ...
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
The steering law model describes pointing device motion through constrained paths. Previous uses of the model are deficient because they are built using only error-free responses,...
I. Scott MacKenzie, Sergey Kulikov, Wolfgang St&uu...