958 search results - page 43 / 192 » Model Transformation Languages and Their Implementation by B... |
135
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
117
click to vote
BALT
2010
14 years 8 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
113
click to vote
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
152
click to vote
PAMI
2012
13 years 3 months ago
2012
—In this paper, we propose a novel framework to estimate the parameters of a diffeomorphism that aligns a known shape and its distorted observation. Classical registration method...
122
click to vote
GW
2005
Springer
15 years 6 months ago
2005
Springer
This paper compares different algorithms for tracking the position of fingers in a two-dimensional environment. Four algorithms have been implemented in EyesWeb, developed by DIS...