When an object moves, it covers and uncovers texture in the background. This pattern of change is sufficient to define the object’s shape, velocity, relative depth, and degree of transparency, a process called Spatiotemporal Boundary Formation (SBF). We recently proposed a mathematical framework for SBF, where texture transformations are used to recover local edge segments, estimate the figure’...

The visual display transformation for virtual reality (VR) systems is typically much more complex than the standard viewing transformation discussed in the literature for conventional computer graphics. The process can be represented as a series of transformations, some of which contain parameters that must match the physical configuration of the system hardware and the user’s body. Because of ...

We give a precise de nition of evolving algebras as nondeterminis tic mathematical machines All proofs in the paper are based on this de nition First we de ne constant propagation as a transformation on evolving algebras Then we extend evolving algebras by macro de nitions and de ne folding and unfolding transformations for macros Next we introduce a simple transformation to atten transition ru...

Motivated by the Q-property of nonsingular M-matrices, Lyapunov and Stein transformations (corresponding to positive stable and Schur stable matrices, respectively) and their products [A. Berman, R.J. Plemmons, Nonnegative Matrices in the Mathematical Sciences, SIAM, Philadelphia, 1994; M.S. Gowda, Y. Song, Math. Prog. 88 (2000) 575–587; M.S. Gowda, T. Parthasarathy, Linear Algebra Appl. 320 (2...

The rapid advances in the very large scale integrated (VLSI) technology has created a flurry of research in designing future computer architectures. Many methods have been developed for parallel processing of algorithms by directly mapping them onto parallel architectures. A procedure, based on the mathematical transformation of the index set and dependence vectors of an algorithm, is developed...

In this paper we develop a novel measure of information in a random variable based on its cumulative distribution that we dub cumulative residual entropy (CRE). This measure parallels the well known Shannon entropy but has the following advantages: (1) it is more general than the Shannon Entropy as its definition is valid in the discrete and continuous domains, (2) it possess more general mathe...

Relative correctness is the property of a program to be more-correct than another with respect to a specification; this property enables us to rank candidate programs in a partial ordering structure whose maximal elements are the correct programs. Whereas traditionally we think of program derivation as a process of successive correctnesspreserving transformations (using refinement) starting fro...

This paper deals with an overview and analysis of methods for inspecting surface quality. The overview is done by a new classification based on common mathematical concept yielding four groups of methods. First, techniques based on curvature, such as colour-coded map, lines of curvature, isolines of curvature, and focal surfaces are considered. They are followed by methods based on illumination...

Before diving into the discussion of the various verification techniques, we are going to review how digital ICs are developed. During its development, a digital design goes through multiple transformations from the original set of specifications to the final product. Each of these transformations corresponds, coarsely, to a different description of the system, which is incrementally more detai...

Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use of domain-specific modeling languages (DSML-s) and model transformations. A metamodeling process facilitated by the Generic Modeling Environment (GME) tool suite enables the rapid and inexpensive development of DSML-s....