1477 search results - page 270 / 296 » Random Convex Programs |
115
Voted
MICCAI
2010
Springer
15 years 19 days ago
2010
Springer
In this paper we introduce a novel approach for inferring articulated spine models from images. A low-dimensional manifold embedding is created from a training set of prior mesh mo...
114
Voted
OOPSLA
2010
Springer
15 years 18 days ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
124
Voted
PKDD
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. Bayesian reinforcement learning (RL) is aimed at making more efficient use of data samples, but typically uses significantly more computation. For discrete Markov Decis...
101
Voted
SIGOPS
2010
15 years 18 days ago
2010
Reports of NAND flash device testing in the literature have for the most part been limited to examination of circuit-level parameters on raw flash chips or prototypes, and syste...
126
Voted
SPIN
2010
Springer
15 years 17 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...