934 search results - page 26 / 187 » exact 2007 |
108
click to vote
IJCAI
2007
15 years 1 months ago
2007
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...
101
click to vote
MVA
1990
15 years 1 months ago
1990
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...
COMBINATORICS
2007
14 years 12 months ago
2007
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,...
IJCAI
2003
15 years 1 months ago
2003
Most probabilistic inference algorithms are specified and processed on a propositional level. In the last decade, many proposals for algorithms accepting first-order specificat...
IMAMS
2007
15 years 1 months ago
2007
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...