257 search results - page 10 / 52 » The Generalized Deadlock Resolution Problem |
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper presents Bayesian edge inference (BEI), a
single-frame super-resolution method explicitly grounded in
Bayesian inference that addresses issues common to existing
meth...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
RECOMB
2004
Springer
14 years 8 months ago
2004
Springer
We present a new algorithm for the problems of genotype phasing and block partitioning. Our algorithm is based on a new stochastic model, and on the novel concept of probabilistic...
ICML
2000
IEEE
14 years 8 months ago
2000
IEEE
This paper presents a general method to derive tight rates of convergence for numerical approximations in optimal control when we consider variable resolution grids. We study the ...
DASFAA
2003
IEEE
14 years 1 months ago
2003
IEEE
Modern database applications including computeraided design (CAD), medical imaging, or molecular biology impose new requirements on spatial query processing. Particular problems a...