2608 search results - page 39 / 522 » Subjects, Models, Languages, Transformations |
MICCAI
2004
Springer
16 years 21 days ago
2004
Springer
This paper introduces a new similarity measure designed to bring a population of segmented subjects into alignment in a common coordinate system. Our metric aligns each subject wit...
107
click to vote
LCTRTS
2010
Springer
14 years 9 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
105
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
UML
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...