3049 search results - page 261 / 610 » On the Convergence of Bound Optimization Algorithms |
161
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
162
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Existing contact modeling in rigid body simulation is inadequate for robotics: no algorithms guarantee both convergence and nonpenetration at multiple contact points in the presen...
170
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
: An inverse iterative algorithm for microwave imaging based on moment method solution is presented here. The iterative scheme has been developed on constrained optimization techni...
172
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We present a near-optimal deterministic filter for systems that evolve on the unit circle. Unlike suboptimal filtering algorithms that rely on approximations of the system, t...
204
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Various efforts ([?, ?, ?]) have been made in recent years to derandomize probabilistic algorithms using the complexity theoretic assumption that there exists a problem in E = dti...