462 search results - page 48 / 93 » Symbolic Bounded Synthesis |
144
Voted
CVPR
2003
IEEE
16 years 5 months ago
2003
IEEE
An algorithm for the simultaneous filling-in of texture and structure in regions of missing image information is presented in this paper. The basic idea is to first decompose the ...
131
Voted
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
An algorithm for the simultaneous filling-in of texture and structure in regions of missing image information is presented in this paper. The basic idea is to first decompose the ...
121
Voted
ICARCV
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper, we study the problem of stabilizing a linear time-invariant discrete-time system with information constraints in the input channels. The information constraint in...
118
Voted
TSP
2008
15 years 3 months ago
2008
We derive an easy-to-compute approximate bound for the range of step-sizes for which the constant-modulus algorithm (CMA) will remain stable if initialized close to a minimum of t...
139
click to vote
SIAMCOMP
2000
15 years 3 months ago
2000
An exponential lower bound for the size of tree-like cutting planes refutations of a certain family of conjunctive normal form (CNF) formulas with polynomial size resolution refuta...