—Reduction circuits are used to reduce rows of floating point values to single values. Binary floating point operators often have deep pipelines, which may cause hazards when m...
In this paper we investigate the Erd¨os/Falconer distance conjecture for a natural class of sets statistically, though not necessarily arithmetically, similar to a lattice. We pr...
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
Five-axis machining of sculptured surfaces is gaining wider acceptance in many industries. This paper examines the potential of a new tool positioning strategy where the desired s...
Face detection has many interesting applications such as a face recognition system, a surveillance system, and videolimage indexing system. In this paper, we propose a new method ...