Sciweavers

239 search results - page 34 / 48
» The Parameterized Complexity of Global Constraints
Sort
View
IROS
2007
IEEE
126views Robotics» more  IROS 2007»
14 years 3 months ago
Control-driven mapping and planning
— Layered hybrid controllers typically include a planner at the top level with reactive control at the lower levels. The planner considers the state of the robot in a global cont...
David Wooden, Matthew Powers, Douglas C. MacKenzie...
3DPVT
2004
IEEE
115views Visualization» more  3DPVT 2004»
14 years 14 days 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
13 years 6 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»
13 years 3 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...
FSR
2007
Springer
135views Robotics» more  FSR 2007»
14 years 2 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