Sciweavers

55 search results - page 6 / 11
» Computing Non-Ground Representations of Stable Models
Sort
View
SCALESPACE
2005
Springer
14 years 29 days ago
Sparse Finite Element Level-Sets for Anisotropic Boundary Detection in 3D Images
Level-Set methods have been successfully applied to 2D and 3D boundary detection problems. The geodesic active contour model has been particularly successful. Several algorithms fo...
Martin Weber, Andrew Blake, Roberto Cipolla
ICRA
2005
IEEE
119views Robotics» more  ICRA 2005»
14 years 1 months ago
Synthesis of Controllers for Stylized Planar Bipedal Walking
— We present a method for computing controllers for stable planar-biped walking gaits that follow a particular style. The desired style is specified with a kinematic target traj...
Dana Sharon, Michiel van de Panne
ICCV
1995
IEEE
13 years 11 months ago
FORMS: A Flexible Object Recognition and Modelling System
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
Song Chun Zhu, Alan L. Yuille
DAGM
2006
Springer
13 years 11 months ago
Shape Matching by Variational Computation of Geodesics on a Manifold
Abstract. Klassen et al. [9] recently developed a theoretical formulation to model shape dissimilarities by means of geodesics on appropriate spaces. They used the local geometry o...
Frank R. Schmidt, Michael Clausen, Daniel Cremers
ECP
1997
Springer
130views Robotics» more  ECP 1997»
13 years 11 months ago
Encoding Planning Problems in Nonmonotonic Logic Programs
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
Yannis Dimopoulos, Bernhard Nebel, Jana Koehler