5659 search results - page 1003 / 1132 » Comparing Clusterings in Space |
124
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
159
click to vote
MOBISYS
2010
ACM
15 years 6 months ago
2010
ACM
Urban street-parking availability statistics are challenging to obtain in real-time but would greatly benefit society by reducing traffic congestion. In this paper we present the ...
149
click to vote
NIPS
2007
15 years 5 months ago
2007
Reliably recovering 3D human pose from monocular video requires models that bias the estimates towards typical human poses and motions. We construct priors for people tracking usi...
175
click to vote
RSS
2007
15 years 5 months ago
2007
— We present a new motion planning framework that explicitly considers uncertainty in robot motion to maximize the probability of avoiding collisions and successfully reaching a ...
121
click to vote
SDM
2007
SIAM
15 years 5 months ago
2007
SIAM
We consider the supervised learning of a binary classifier from noisy observations. We use smooth boosting to linearly combine abstaining hypotheses, each of which maps a subcube...