Achieving the best possible cost performance for a system is often the goal of the manager of that system. This is true for large systems (such as an entire railroad system) as we...
This paper describes a methodology for designing Open Implementations -- software modules that can adapt or change their internals to accommodate the needs of different clients. A...
Chris Maeda, Arthur Lee, Gail C. Murphy, Gregor Ki...
Multiresolution pyramid techniques can improve the efficiency of basic vision algorithms by orders of magnitude. They will be key to developing practical vision systems to perform...
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
— In this paper, a new method is proposed to evaluate the reliability of stochastic mechanical systems. This technique is based on the combination of the probabilistic transforma...