4266 search results - page 549 / 854 » The container loading problem |
118
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— We consider the kinematic control problem for nonholonomic mobile manipulators (NMMs) whose base contains steering wheels. For all typical tasks, the steering velocity inputs o...
132
click to vote
JSC
2010
15 years 28 days ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
125
click to vote
KBSE
2010
IEEE
15 years 28 days ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
125
click to vote
PVLDB
2010
15 years 27 days ago
2010
Set similarity join has played an important role in many real-world applications such as data cleaning, near duplication detection, data integration, and so on. In these applicati...
132
Voted
NAACL
2010
15 years 12 days ago
2010
This paper proposes a novel approach to the problem of training classifiers to detect and correct grammar and usage errors in text by selectively introducing mistakes into the tra...