3888 search results - page 47 / 778 » Change-Driven Model Transformations |
148
click to vote
VCIP
2000
2000
Three-dimensional shape-adaptive discrete wavelet transforms for efficient object-based video coding
15 years 5 months ago
In this paper, we present an object-based coding scheme using three-dimensional shape-adaptive discrete wavelet transforms (SA-DWT). Rather than straightforward extension of 2D SA...
132
click to vote
LPNMR
1997
Springer
15 years 8 months ago
1997
Springer
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...
131
click to vote
EUROMICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
188
click to vote
DILS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
179
click to vote
APLAS
2001
ACM
15 years 7 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...