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...

Building on the theory of interface automata by de Alfaro and Henzinger we design an interface language for Lynch’s I/O automata, a popular formalism used in the development of distributed asynchronous systems, not addressed by previous interface research. We introduce an explicit separation of assumptions from guarantees not yet seen in other behavioral interface theories. Moreover we derive t...

We introduce a recurrent architecture having a modular structure and we formulate a training procedure based on the EM algorithm. The resulting model has similarities to hidden Markov models, but supports recurrent networks processing style and allows to exploit the supervised learning paradigm while using maximum likelihood estimation.

resource allocation and optimal leveling are among the top challenges in project management. this paper presents a dea-based procedure for determining an optimal level of inputs to produce a fixed level of outputs. to achieve this goal, we assume that the levels of outputs can be forecasted in the next season and the procedure will determine optimal level of inputs for all dmus. such as some of...

one of the major problems in data envelopment analysis (dea) is to determine the projection of inefficient decision making units (dmus) into the efficient frontier. in conventional dea models, inputs and outputs of inefficient dmus alter arbitrarily for reaching to the efficient frontier. nevertheless, sometimes the ability of dmus is defined and restricted. moreover, there are situations in th...