This paper considers a method to realize a two-valued input three-valued output function by using a cascade of four-input cells. Decomposition of a group function is used to find a canonical form. We show that the Walsh spectrum specifies the canonical form, and the number of non-zero coefficients in the spectrum is proportional to the number of cells in the cascade. Finally, we show an extensi...

during the last years, the concept of input congestion and technical ineff-ciency in data envelopment analysis (dea), have been investigated by manyresearchers. the motivation of this paper is to present models which obtain thedecreased output value due to input congestion and technical ineciency. more-over, we extend the models to estimate input congestion, technical ineciencyand output red...

We show how to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite speciication of-calculus. This I/O system has the advantage of being totally explicit and t in the same semantic framework than any other \application program". An actual implementation shows the eeectiveness of this approach.

Determining structure and motion from the images produced by a camera on a moving robot is a nonlinear and potentially poorly conditioned computation. A reliable system must use redundant data so that small random errors in the inputs cancel out statistically to produce better outputs. Furthermore, the output quantities to be computed must be well observable, that is, they should have well-meas...

Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output model programs, where the action vocabulary is divided between two conceptual players: the input player and the output player. The players share the action vocabulary and make moves that are labeled by actions according to their res...

Unlike mainstream information visualization, ambient displays do not require active attention, which makes existing information visualization design and evaluation methodologies not readily applicable. In this paper, we present a new evaluation methodology for ambient displays. The methodology is then applied to a real-world case study, focusing on the effectiveness, efficiency, comprehension a...