10790 search results - page 382 / 2158 » Using feature models to automate model transformations |
201
click to vote
PAMI
2002
15 years 6 months ago
2002
This paper investigates the use of Euclidean invariant features in a generalization of iterative closest point registration of range images. Pointwisecorrespondences are chosen as...
180
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Several domains such as sports, surgery, dance etc. are characterized by a significant influence of expertise of the performer on the motion pattern and style. The retrieval of ex...
141
click to vote
FMOODS
2006
15 years 8 months ago
2006
Abstract. We consider in this paper that a DSL (Domain Specific Language) may be defined by a set of models. A typical DSL is the ATLAS Transformation Language (ATL). An ATL progra...
187
click to vote
JOT
2008
15 years 6 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
173
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Planar motion models can provide gross motion estimation and good segmentation for image pairs with large inter-frame disparity. However, as the disparity becomes larger, the resul...