Sciweavers

934 search results - page 26 / 187
» exact 2007
Sort
View
IJCAI
2007
14 years 11 months ago
The Logic Behind Weighted CSP
We define a translation from Weighted CSP to signed Max-SAT, and a complete resolution-style calculus for solving signed Max-SAT. Based on these results, we then describe an orig...
Carlos Ansótegui, Maria Luisa Bonet, Jordi ...
MVA
1990
208views Computer Vision» more  MVA 1990»
14 years 10 months ago
3-D Shape Reconstruction from Camera Motion with Inexact Motion Parameters
When a sequence of images are obtained by a moving camera, if the exact camera velocity and corresponding points on the images are determined, the 3-D shape of the object can be r...
Keisuke Kinoshita, Koichiro Deguchi
COMBINATORICS
2007
77views more  COMBINATORICS 2007»
14 years 9 months ago
Enumeration and Asymptotic Properties of Unlabeled Outerplanar Graphs
We determine the exact and asymptotic number of unlabeled outerplanar graphs. The exact number gn of unlabeled outerplanar graphs on n vertices can be computed in polynomial time,...
Manuel Bodirsky, Éric Fusy, Mihyun Kang, St...
IJCAI
2003
14 years 11 months ago
First-order probabilistic inference
Most probabilistic inference algorithms are specified and processed on a propositional level. In the last decade, many proposals for algorithms accepting first-order specificat...
David Poole
IMAMS
2007
180views Mathematics» more  IMAMS 2007»
14 years 11 months ago
Implicit Boundary Control of Vector Field Based Shape Deformations
We present a shape deformation approach which preserves volume, prevents self-intersections and allows for exact control of the deformation impact. The volume preservation and prev...
Wolfram von Funck, Holger Theisel, Hans-Peter Seid...