4074 search results - page 113 / 815 » Abstract Graph Transformation |
TIP
2008
15 years 1 months ago
2008
Abstract--This correspondence addresses the inversion of 3-D transformation fields, which is a problem that typically arises in image warping problems. A topology preserving parame...
104
click to vote
ASIAN
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--A new generic scheme for incremental implementations of distance transforms (DT) is presented: Incremental Distance Transforms (IDT). This scheme is applied on the citybl...
NA
2010
14 years 8 months ago
2010
Abstract A monic Jacobi matrix is a tridiagonal matrix which contains the parameters of the three-term recurrence relation satisfied by the sequence of monic polynomials orthogonal...
118
click to vote
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...