3888 search results - page 440 / 778 » Change-Driven Model Transformations |
205
click to vote
ECCV
2004
Springer
16 years 4 days ago
2004
Springer
Anatomical shapes present a unique problem in terms of accurate representation and medical image segmentation. Three-dimensional (3D) statistical shape models have been extensivel...
195
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
191
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
184
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
211
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
— Enriched with more and more intelligent devices modern homes rapidly transform into smart environments. Their growing capabilities enable the implementation of a new generation...