Sciweavers

7006 search results - page 626 / 1402
» Approximation Algorithms
Sort
View
ICSE
2009
IEEE-ACM
16 years 8 months ago
Effective static deadlock detection
We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a different necessary co...
Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay
JMLR
2010
367views more  JMLR 2010»
15 years 2 months ago
Locally Linear Denoising on Image Manifolds
We study the problem of image denoising where images are assumed to be samples from low dimensional (sub)manifolds. We propose the algorithm of locally linear denoising. The algor...
Dian Gong, Fei Sha, Gérard G. Medioni
ICPR
2000
IEEE
16 years 8 months ago
Exact Computation of Area Moments for Spline and Wavelet Curves
We present an exact algorithm for the computation of the moments of a region bounded by a curve represented in a scaling function or wavelet basis. Using Green's theorem, we ...
Mathews Jacob, Thierry Blu, Michael Unser
CORR
2011
Springer
215views Education» more  CORR 2011»
14 years 11 months ago
The Bethe Permanent of a Non-Negative Matrix
:  The Bethe Permanent of a Non-Negative Matrix Pascal O. Vontobel HP Laboratories HPL-2011-116 Bethe approximation; Bethe permanent; graph cover; partition function; perfect ma...
Pascal O. Vontobel
STOC
2010
ACM
193views Algorithms» more  STOC 2010»
16 years 3 days ago
Maintaining a large matching and a small vertex cover
We consider the problem of maintaining a large matching and a small vertex cover in a dynamically changing graph. Each update to the graph is either an edge deletion or an edge in...
Krzysztof Onak, Ronitt Rubinfeld