332 search results - page 10 / 67 » Convexity, Duality and Effects |
AAAI
2010
13 years 5 months ago
2010
Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The tech...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— In orthogonal frequency-division multiplex access (OFDMA) systems, including uplink and downlink, the carrierfrequency offset (CFO) between the multiple transceivers introduces...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
We recently reported a criterion for blind separation of non-negative sources, using a new concept called convex analysis for mixtures of non-negative sources (CAMNS). Under some ...
IPCO
2010
13 years 5 months ago
2010
We present a branch-and-bound algorithm for minimizing a convex quadratic objective function over integer variables subject to convex constraints. In a given node of the enumerati...
APAL
2008
13 years 8 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....