Sciweavers

4430 search results - page 348 / 886
» Solving Optimization Problems with DLL
Sort
View
LOGCOM
2011
14 years 7 months ago
Introducing Preferences in Planning as Satisfiability
Planning as Satisfiability is one of the most well-known and effective techniques for classical planning: satplan has been the winning system in the deterministic track for optim...
Enrico Giunchiglia, Marco Maratea
ICCV
2005
IEEE
16 years 6 months ago
A Symmetric Patch-Based Correspondence Model for Occlusion Handling
Occlusion is one of the challenging problems in stereo. In this paper, we solve the problem in a segment-based style. Both images are segmented, and we propose a novel patchbased ...
Yi Deng, Qiong Yang, Xueyin Lin, Xiaoou Tang
ICML
2009
IEEE
16 years 5 months ago
Learning structural SVMs with latent variables
We present a large-margin formulation and algorithm for structured output prediction that allows the use of latent variables. Our proposal covers a large range of application prob...
Chun-Nam John Yu, Thorsten Joachims
EVOW
2009
Springer
15 years 11 months ago
Iterated Local Search for Minimum Power Symmetric Connectivity in Wireless Networks
The problem of finding a symmetric connectivity topology with minimum power consumption in a wireless ad-hoc network is NPhard. This work presents a new iterated local search to s...
Steffen Wolf, Peter Merz
ICRA
2007
IEEE
134views Robotics» more  ICRA 2007»
15 years 11 months ago
Grasping POMDPs
Abstract— We provide a method for planning under uncertainty for robotic manipulation by partitioning the configuration space into a set of regions that are closed under complia...
Kaijen Hsiao, Leslie Pack Kaelbling, Tomás ...