16430 search results - page 2605 / 3286 » On Computable Tree Functions |
261
click to vote
SPIN
2004
Springer
16 years 24 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
211
click to vote
STACS
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We consider the problem of scheduling jobs on related machines owned by selfish agents and provide the first deterministic mechanisms with constant approximation that a...
195
click to vote
CVPR
2010
IEEE
16 years 24 days ago
2010
IEEE
Detecting pedestrians in images is a key functionality to avoid vehicle-to-pedestrian collisions. The most promising detectors rely on appearance-based pedestrian classifiers tra...
197
click to vote
CVPR
2010
IEEE
16 years 24 days ago
2010
IEEE
This paper proposes a new learning method, which integrates feature selection with classifier construction for human detection via solving three optimization models. Firstly, the ...
215
click to vote
ECCV
2010
Springer
16 years 23 days ago
2010
Springer
Motion blurs confound many computer vision problems. The fluttered shutter (FS) camera [1] tackles the motion deblurring problem by emulating invertible broadband blur kernels. How...