We view match as an operator that takes two graph-like structures (e.g., XML schemas) and produces a mapping between the nodes of these graphs that correspond semantically to each ...
Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskev...
This paper presents recent progress and extensions to TriQuaMesh (TQM) [1], targeted at providing good quality surface meshes: Increased robustness of the 1D mesh generator to han...
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
We propose a layered facial simulation model for skin aging with wrinkles, which includes muscle, connective tissue and skin layer. Our aim is to simulate relevant facial animatio...
This paper describes a new algorithm for solving the N-camera stereo correspondence problem by transforming it into a maximum- ow problem. Once solved, the minimum-cut associated ...