Sciweavers

25 search results - page 3 / 5
» Increasing the usefulness of additive spline models by knot ...
Sort
View
ICRA
2010
IEEE
107views Robotics» more  ICRA 2010»
13 years 4 months ago
Using stereo for object recognition
— There has been significant progress recently in object recognition research, but many of the current approaches still fail for object classes with few distinctive features, an...
Scott Helmer, David G. Lowe
TACAS
2010
Springer
170views Algorithms» more  TACAS 2010»
13 years 3 months ago
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbe...
TOG
2008
241views more  TOG 2008»
13 years 5 months ago
Single image dehazing
In this paper we present a new method for estimating the optical transmission in hazy scenes given a single input image. Based on this estimation, the scattered light is eliminate...
Raanan Fattal
ICCD
2007
IEEE
157views Hardware» more  ICCD 2007»
14 years 2 months ago
Combining cluster sampling with single pass methods for efficient sampling regimen design
Microarchitectural simulation is orders of magnitude slower than native execution. As more elements are accurately modeled, problems associated with slow simulation are further ex...
Paul D. Bryan, Thomas M. Conte
CVPR
2010
IEEE
14 years 1 months ago
On improving point-based 3D recognition
We present a framework that retains ambiguity in feature matching to increase the performance of 3D object recognition systems. Whereas previous systems removed ambiguous correspo...
Edward Hsiao, Alvaro Collet, Martial Hebert