2 papers
cs.LO2008
A Cloning Pushout Approach to Term-Graph Transformation
Dominique Duval, Rachid Echahed, Frédéric Prost
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form such that and are termgraphs represe…
cs.HC2007
Mise en place de scénarios pour la conception d'outils en Chirurgie Minimalement Invasive
Guillaume Thomann, Jean Caelen, Morgan Verdier +1
Nowadays, more and more surgical interventions are carried out in Minimally Invasive Surgery, to make the post-operative constraints less painful for the patient. Actually, new sur…