Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
To provide an adequate user interface to the large amount of geometrical and alphanumerical date coupled to the geometries, the 3D interaction in the virtual environment is combin...
In this paper we address interactive shape modelling of geometric shapes defined by mathematical functions. We introduce mathematical operators that implement modifications of g...
— Animating hand-object interactions is a frequent task in applications such as the production of 3d movies. Unfortunately this task is difficult due to the hand’s many degree...
In modern computer graphics, 3D scanning is common practise for the acquisition of the geometry of objects. However, in addition to geometric models, physical models of interactio...