Sciweavers

2608 search results - page 118 / 522
» Subjects, Models, Languages, Transformations
Sort
View
CGF
2007
94views more  CGF 2007»
15 years 6 months ago
Effective Derivation of Similarity Transformations for Implicit Laplacian Mesh Editing
Laplacian coordinates as a local shape descriptor have been employed in mesh editing. As they are encoded in the global coordinate system, they need to be transformed locally to r...
Hongbo Fu, Oscar Kin-Chung Au, Chiew-Lan Tai
ICMT
2010
Springer
15 years 10 months ago
Model Migration with Epsilon Flock
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Pa...
VIS
2003
IEEE
145views Visualization» more  VIS 2003»
16 years 7 months ago
Signed Distance Transform Using Graphics Hardware
This paper presents a signed distance transform algorithm using graphics hardware, which computes the scalar valued function of the Euclidean distance to a given manifold of co-di...
Christian Sigg, Markus H. Gross, Ronald Peikert
SAC
2010
ACM
15 years 6 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
FDL
2006
IEEE
16 years 1 days ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt