4335 search results - page 179 / 867 » Privatizing Constraint Optimization |
132
click to vote
SAT
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
106
click to vote
ICCV
1999
IEEE
16 years 5 months ago
1999
IEEE
We introduce a finite difference expansion for closely spaced cameras in projective vision, and use it to derive differential analogues of the finite-displacement projective match...
119
click to vote
CP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. VLSI chips design is becoming increasingly complex and calling for more and more automation. Many chip design problems can be formulated naturally as constraint problems ...
131
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose a convex optimization method for maximum likelihood estimation of autoregressive models, subject to conditional independence constraints. This problem is an extension t...
117
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—We study the joint power control and minimumframe-length scheduling problem in wireless networks, under the physical interference model and subject to consecutive transm...