Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...
Starting with a general definition of the Laplace transform on arbitrary time scales, we specify the Laplace transform on isolated time scales, prove several properties of the Lapl...
—The distance transform has found many applications in image analysis. Chamfer distance transforms are a class of discrete algorithms that offer a good approximation to the desir...
: In what sense, then, can it be said that contemporary societies are becoming more and more dependent on the production, dissemination and use of knowledge? Are we witnessing a ch...