5525 search results - page 672 / 1105 » Verification of Model Transformations |
179
click to vote
ENASE
2010
15 years 2 months ago
2010
Textual models in MDD typically are generated in their concrete syntax using a template based language. On the contrary, graphical models as a generated in abstract syntax and then...
195
click to vote
ICIP
2005
IEEE
16 years 9 months ago
2005
IEEE
This paper introduces a new registration method estimating the displacement field of bodies which deformations are constrained by an articulated rigid body. We propose an articula...
197
click to vote
ICIP
2003
IEEE
16 years 9 months ago
2003
IEEE
We present a supervised classification model based on a variational approach. This model is specifically devoted to textured images. We want to get a partition of an image, compos...
173
click to vote
AICT
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we propose a framework for QualityDriven Delivery (QDD) in distributed multimedia environments. Quality-driven delivery refers to the capacity of a system to delive...
212
click to vote
CP
2005
Springer
16 years 1 months ago
2005
Springer
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...