Sciweavers

4057 search results - page 70 / 812
» Linear combination of transformations
Sort
View
SERP
2004
13 years 11 months ago
Combining Model-Driven and Schema-Based Program Synthesis
We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transf...
Ewen Denney, Jon Whittle
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
13 years 8 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
ICPR
2010
IEEE
14 years 3 months ago
Symbol Recognition Combining Vectorial and Pixel-Level Features for Line Drawings
—In this paper, we present an approach for symbol representation and recognition in line drawings, integrating both the vector-based structural description and pixel-level statis...
Feng Su, Tong Lu
BTW
2005
Springer
77views Database» more  BTW 2005»
14 years 3 months ago
On Combining Business Process Integration and ETL Technologies
: In this paper we contrast two important information technologies in the realm of Business Integration: Process Integration and Extract-Transform-Load (ETL) Technology. After a sh...
Albert Maier, Bernhard Mitschang, Frank Leymann, D...
CGF
2008
173views more  CGF 2008»
13 years 10 months ago
A Local/Global Approach to Mesh Parameterization
We present a novel approach to parameterize a mesh with disk topology to the plane in a shape-preserving manner. Our key contribution is a local/global algorithm, which combines a...
Ligang Liu, Lei Zhang, Yin Xu, Craig Gotsman, Stev...