5153 search results - page 191 / 1031 » Introduction to Randomized Algorithms |
123
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
152
click to vote
TSP
2010
14 years 9 months ago
2010
Nonparametric Bayesian methods are employed to constitute a mixture of low-rank Gaussians, for data x RN that are of high dimension N but are constrained to reside in a low-dimen...
159
click to vote
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
Curvature flows have been extensively considered from a deterministic point of view. They have been shown to be useful for a number of applications including crystal growth, flame...
121
click to vote
ICIP
1998
IEEE
16 years 4 months ago
1998
IEEE
Maximum a posteriori (MAP) filtering using the HuberMarkov random field (HMRF) image model has been shown in the past to be an effective method of reducing compression artifacts i...
119
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
This work focuses on the convergence analysis of adaptive distributed beamforming schemes that can be reformulated as local random search algorithms via a random search framework....