1431 search results - page 95 / 287 » Solving Constraints in Model Transformations |
145
click to vote
MODELS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
129
click to vote
SGP
2007
15 years 8 months ago
2007
Modeling tasks, such as surface deformation and editing, can be analyzed by observing the local behavior of the surface. We argue that defining a modeling operation by asking for ...
156
click to vote
IJCV
2000
15 years 6 months ago
2000
We present a universal statistical model for texture images in the context of an overcomplete complex wavelet transform. The model is parameterized by a set of statistics computed ...
136
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Image reconstruction problems in radio astronomy and other fields like biomedical imaging are often ill-posed and some form of regularization is required. This imposes user speci...
175
click to vote
AAAI
1997
15 years 7 months ago
1997
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...