5525 search results - page 443 / 1105 » Verification of Model Transformations |
189
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
207
click to vote
WSCG
2003
15 years 8 months ago
2003
This paper presents a feature-based approach to piecewise planar modeling of architectural scenes from an oriented image sequence. An improved line detection algorithm is presente...
184
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
An algorithm for speaker's lip segmentation and features extraction is presented in this paper. A color video sequence of speaker's face is acquired, under natural light...
159
click to vote
MICCAI
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. We show that a simple probabilistic modelling of the registration problem for surfaces allows to solve it by using standard clustering techniques. In this framework, poin...
199
click to vote
VL
2005
IEEE
16 years 18 days ago
2005
IEEE
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...