1697 search results - page 179 / 340 » On Bayesian Case Matching |
151
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...
150
Voted
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
We investigate in this article the rigid registration of large sets of points, generally sampled from surfaces. We formulate this problem as a general Maximum-Likelihood (ML) estim...
122
click to vote
SIGECOM
2003
ACM
15 years 8 months ago
2003
ACM
We investigate the problem of matching buyers and sellers in a multi-item multi-unit combinatorial exchange so as to maximize either the surplus (revenue minus cost) or the tradin...
218
click to vote
SPEECH
2011
14 years 10 months ago
2011
Typical speech enhancement methods, based on the short-time Fourier analysis-modification-synthesis (AMS) framework, modify only the magnitude spectrum and keep the phase spectru...
120
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...