Whilst it is a common task in systems integration to have to transform between di erent semantic data models, such inter-model transformations are often speci ed in an ad hoc manne...
The notion of icons in visual environments is limited by perceiving icons as tacit entities that have meaning only to human beings and not to the machines that display them. This ...
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
Abstract--This correspondence addresses the inversion of 3-D transformation fields, which is a problem that typically arises in image warping problems. A topology preserving parame...
Vincent Noblet, Christian Heinrich, Fabrice Heitz,...
We provide a formal proof of equivalence between the class of fractals created by Recursive Turtle Programs (RTP) and Iterated Affine Transformations (IAT). We begin by reviewing ...