1068 search results - page 189 / 214 » Fast and robust bootstrap |
117
click to vote
CAV
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
129
click to vote
ICCV
2011
IEEE
14 years 24 days ago
2011
IEEE
In recent years, depth cameras have become a widely available sensor type that captures depth images at realtime frame rates. Even though recent approaches have shown that 3D pose...
112
Voted
AAAI
2011
14 years 23 days ago
2011
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
113
Voted
CP
2011
Springer
14 years 17 days ago
2011
Springer
Algorithm portfolios aim to increase the robustness of our ability to solve problems efficiently. While recently proposed algorithm selection methods come ever closer to identifyin...
168
Voted
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
Subspace clustering and feature extraction are two of the most commonly used unsupervised learning techniques in computer vision and pattern recognition. State-of-theart technique...