Sciweavers

570 search results - page 72 / 114
» The Complexity of Reasoning with Global Constraints
Sort
View
FSR
2007
Springer
135views Robotics» more  FSR 2007»
15 years 3 months ago
State Space Sampling of Feasible Motions for High Performance Mobile Robot Navigation in Highly Constrained Environments
Sampling in the space of controls or actions is a well-established method for ensuring feasible local motion plans. However, as mobile robots advance in performance and competence ...
Thomas M. Howard, Colin J. Green, Alonzo Kelly
3DPVT
2004
IEEE
115views Visualization» more  3DPVT 2004»
15 years 1 months ago
Specularity Elimination in Range Sensing for Accurate 3D Modeling of Specular Objects
We present a novel range sensing method that is capable of constructing accurate 3D models of specular objects. Our method utilizes a new range imaging concept called multi-peak r...
Johnny Park, Avinash C. Kak
CPAIOR
2010
Springer
14 years 7 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey
CORR
2011
Springer
245views Education» more  CORR 2011»
14 years 4 months ago
A linear framework for region-based image segmentation and inpainting involving curvature penalization
Abstract We present the first method to handle curvature regularity in region-based image segmentation and inpainting that is independent of initialization. To this end we start f...
Thomas Schoenemann, Fredrik Kahl, Simon Masnou, Da...
CORR
2011
Springer
223views Education» more  CORR 2011»
14 years 4 months ago
Decentralized Formation Control Part I: Geometric Aspects
In this paper, we develop new methods for the analysis of decentralized control systems and we apply them to formation control problems. The basic set-up consists of a system with...
Mohamed-Ali Belabbas