Sciweavers

11 search results - page 1 / 3
» Model Transformation By-Example: A Survey of the First Wave
Sort
View
BIRTHDAY
2012
Springer
12 years 1 months ago
Model Transformation By-Example: A Survey of the First Wave
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
Gerti Kappel, Philip Langer, Werner Retschitzegger...
ICCS
2005
Springer
13 years 11 months ago
Simulation of Nonlinear Thermomechanical Waves with an Empirical Low Dimensional Model
Abstract. In this paper we analyse the performance of a low dimensional model for the nonlinear thermo-mechanical waves. The model has been obtained by using proper orthogonal deco...
Linxiang X. Wang, Roderick V. N. Melnik
ICCV
2003
IEEE
13 years 11 months ago
Modeling Textured Motion : Particle, Wave and Sketch
In this paper, we present a generative model for textured motion phenomena, such as falling snow, wavy river and dancing grass, etc. Firstly, we represent an image as a linear sup...
Yizhou Wang, Song Chun Zhu
CSL
2008
Springer
13 years 7 months ago
Model Transformations in Decidability Proofs for Monadic Theories
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...
Wolfgang Thomas
ISBI
2004
IEEE
14 years 6 months ago
Speckle Reduction on Ultrasound Image by Variational Methods and Adaptive Lagrangian Multipliers
Ultrasound images are corrupted by a multiplicative noise, the speckle, which makes high level analysis difficult. Within each resolution cell a number of elementary scatterers re...
Arnaud Ogier, Pierre Hellier, Christian Barillot