3888 search results - page 609 / 778 » Change-Driven Model Transformations |
184
click to vote
PPDP
2007
Springer
16 years 11 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
165
click to vote
CGO
2006
IEEE
16 years 9 days ago
2006
IEEE
Software code caches help amortize the overhead of dynamic binary transformation by enabling reuse of transformed code. Since code caches contain a potentiallyaltered copy of ever...
174
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
150
click to vote
TEC
2002
15 years 5 months ago
2002
We investigate the application of genetic algorithms (GAs) for recognizing real two-dimensional (2-D) or three-dimensional (3-D) objects from 2-D intensity images, assuming that th...
149
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We propose a novel approach to unsupervised facial image
alignment. Differently from previous approaches, that
are confined to affine transformations on either the entire
face o...