1274 search results - page 135 / 255 » New Proofs for |
91
Voted
SAT
2009
Springer
15 years 7 months ago
2009
Springer
Most current propositional SAT solvers apply resolution at various stages to derive new clauses or simplify existing ones. The former happens during conflict analysis, while the l...
116
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
113
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper, we manage to prove the log-concavity of the generalized Marcum Q-function Qν (a, b) with respect to its order ν on [1, ∞). The proof relies on a powerful math...
92
Voted
ISBI
2008
IEEE
15 years 7 months ago
2008
IEEE
New phase-shifting techniques have recently been proposed to suppress the complex-conjugate ambiguity in frequencydomain optical-coherence tomography. A phase shift is introduced,...
118
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...