output
20042009
most citedOptimal Separable Algorithms to Compute the Reverse Euclidean Distance Transformation and Discrete Medial Axis in Arbitrary Dimension

94 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2004

Automatic Generation of CHR Constraint Solvers

Slim Abdennadher, Christophe Rigotti

In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tabl…