Search results for "transformation composition"

Found 7 publication records. Showing 7 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Jesús Sánchez Cuadrado, Jesús García Molina	Modularization of model transformations through a phasing mechanism.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Phasing mechanism, Internal transformation composition, Modularity, Model transformation, Transformation languages
2	Jesús Sánchez Cuadrado, Jesús García Molina	A phasing mechanism for model transformation languages.	SAC	2007	DBLP DOI BibTeX RDF	internal transformation composition, phasing mechanism, transformation definition modularity, model transformation, transformation languages
1	Jérémy Lardon, Christophe Gravier, Jacques Fayolle	DOM tree estimation and computation: overview of a new web content adaptation system.	EICS	2010	DBLP DOI BibTeX RDF	transformation composition, web page adaptation, genetic algorithm, transcoding
1	Thomas A. Henzinger	From Boolean to quantitative notions of correctness.	POPL	2010	DBLP DOI BibTeX RDF	quantitative specification, quantitative synthesis, quantitative analysis
1	Andrés Vignaga, Frédéric Jouault, M. Cecilia Bastarrica, Hugo Bruneliere	Typing in Model Management.	ICMT	2009	DBLP DOI BibTeX RDF
1	Jon Oldevik	Transformation Composition Modelling Framework.	DAIS	2005	DBLP DOI BibTeX RDF
1	Jacques Feldmar, Nicholas Ayache, Fabienne Betting	3D-2D Projective Registration of Free-Form Curves and Surfaces. (PDF / PS)	ICCV	1995	DBLP DOI BibTeX RDF	3D-2D projective registration, free-form curves, MRI preoperative image, video surgery, artificial markers, rigid displacement, 2D image acquisition system, image reconstruction, image registration, occlusions, medical image processing, surfaces, object model, outliers, perspective projection, biomedical NMR, 3D object, 2D image, radiotherapy, neurosurgery, laparoscopy, interventional radiology

Displaying result #1 - #7 of 7 (100 per page; Change: )