Sciweavers

1812 search results - page 225 / 363
» Test Early, Test Often
Sort
View
CVPR
2006
IEEE
16 years 21 hour ago
Stereo Vision in Structured Environments by Consistent Semi-Global Matching
This paper considers the use of stereo vision in structured environments. Sharp discontinuities and large untextured areas must be anticipated, but complex or natural shapes of ob...
Heiko Hirschmüller
ICIP
2008
IEEE
15 years 11 months ago
Motion detection with false discovery rate control
Visual surveillance applications such as object identification, object tracking, and anomaly detection require reliable motion detection as an initial processing step. Such a dete...
David A. Castañon, J. Mike McHugh, Janusz K...
ICML
2005
IEEE
15 years 10 months ago
Harmonic mixtures: combining mixture models and graph-based methods for inductive and scalable semi-supervised learning
Graph-based methods for semi-supervised learning have recently been shown to be promising for combining labeled and unlabeled data in classification problems. However, inference f...
Xiaojin Zhu, John D. Lafferty
ICML
2000
IEEE
15 years 10 months ago
A Nonparametric Approach to Noisy and Costly Optimization
This paper describes Pairwise Bisection: a nonparametric approach to optimizing a noisy function with few function evaluations. The algorithm uses nonparametric reasoning about si...
Brigham S. Anderson, Andrew W. Moore, David Cohn
PLDI
2009
ACM
15 years 10 months ago
A decision procedure for subset constraints over regular languages
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
Pieter Hooimeijer, Westley Weimer