1224 search results - page 117 / 245 » Theory decision by decomposition |
99
Voted
CORR
2006
Springer
15 years 24 days ago
2006
Springer
Abstract. The declustering problem is to allocate given data on parallel working storage devices in such a manner that typical requests find their data evenly distributed among the...
77
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Filter bank optimization for specific input statistics has been of great interest in both theory and practice in many signal processing applications. In this paper we consider bi...
94
Voted
MANSCI
2007
15 years 19 days ago
2007
“Real options” is often viewed as a valuable managerial tool of flexibility and exploration in new technology investment. Real options theory has been criticized, however, due...
132
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
115
Voted
STOC
2009
ACM
16 years 1 months ago
2009
ACM
The quantum analog of a constraint satisfaction problem is a sum of local Hamiltonians - each (term of the) Hamiltonian specifies a local constraint whose violation contributes to...