Sciweavers

10790 search results - page 145 / 2158
» Using feature models to automate model transformations
Sort
View
CC
2010
Springer
172views System Software» more  CC 2010»
15 years 11 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...
ECEASST
2006
154views more  ECEASST 2006»
15 years 5 months ago
EMF Model Refactoring based on Graph Transformation Concepts
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
Enrico Biermann, Karsten Ehrig, Christian Köh...
150
Voted
ICIP
2004
IEEE
16 years 6 months ago
Estimating facial pose from a sparse representation
We present an approach to estimate the poses of human heads in natural scenes. The essential features for estimating the head pose are the positions of the prominent facial featur...
Hankyu Moon, M. L. Miller
QOSA
2010
Springer
15 years 9 months ago
Evaluating Maintainability with Code Metrics for Model-to-Model Transformations
Using model-to-model transformations to generate analysis models or code from architecture models is sought to promote compliance and reuse of components. The maintainability of tr...
Lucia Kapová, Thomas Goldschmidt, Steffen B...
AFS
2011
49views more  AFS 2011»
14 years 5 months ago
Towards an (Even More) Natural Probabilistic Interpretation of Fuzzy Transforms (and of Fuzzy Modeling)
In many practical applications, it turns out to be useful to use the notion of fuzzy transform: once we have functions A1(x) ≥ 0, . . . , An ≥ 0, with n∑ i=1 Ai(x) = 1, we c...
Irina Perfilieva, Vladik Kreinovich