686 search results - page 115 / 138 » How Bayesians Debug |
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
CCS
2011
ACM
12 years 9 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
ISSTA
2012
ACM
11 years 11 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
We have developed methods for segmentation and tracking of cells in time-lapse phase-contrast microscopy images. Our multi-object Bayesian algorithm detects and tracks large num...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper presents a method to quantitatively evaluate
information contributions of individual bottom-up and topdown
computing processes in object recognition. Our objective
is...