55 search results - page 8 / 11 » Computing Non-Ground Representations of Stable Models |
AAAI
2000
13 years 8 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
VMV
2001
13 years 8 months ago
2001
Shape information is utilized by numerous applications in computer vision, scientific visualization and computer graphics. This paper presents a novel algorithm for exploring and ...
MICCAI
2008
Springer
14 years 8 months ago
2008
Springer
We propose a method that computes a conformal mapping from a multiply connected mesh to the so-called slit domain, which consists of a canonical rectangle or disk in which 3D curve...
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
Brain surface conformal mapping has been studied intensively. In this paper, we propose a method that computes a conformal mapping from a multiply connected mesh to the so-called ...
SMA
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we propose a novel shape interpolation approach based on Poisson equation. We formulate the trajectory problem of shape interpolation as solving Poisson equations d...