Abstract. Geometric straight-line programs [5, 8] can be used to model geometric constructions and their implicit ambiguities. In this paper we discuss the complexity of deciding w...
: Precise sensorimotor mappings between various motor, ensor, and abstract physical spaces are the basis for many robotics tasks. Their cheap construction is a challenge for adapti...
Within biological systems water molecules undergo continuous stochastic Brownian motion. The rate of this diffusion can give clues to the structure of underlying tissues. In some ...
David H. Laidlaw, Eric T. Ahrens, David Kremers, M...
This paper proposes extensions to the VHDL grammar and denes new semantics in the language to model the timing behavior of high frequency buses and clock lines with multiple, dis...