239 search results - page 10 / 48 » Reusing Model Transformations While Preserving Properties |
120
click to vote
LPNMR
2011
Springer
14 years 10 days ago
2011
Springer
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
CVPR
2012
IEEE
12 years 12 months ago
2012
IEEE
This paper proposes a content-aware image resizing method which simultaneously preserves both salient image features and important line structure properties: parallelism, collinea...
76
Voted
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
SIGGRAPH
1999
ACM
15 years 1 months ago
1999
ACM
We introduce a novel algorithm for transforming character animation sequences that preserves essential physical properties of the motion. By using the spacetime constraints dynami...