157 search results - page 5 / 32 » Size space tradeoffs for resolution |
STOC
2006
ACM
14 years 8 months ago
2006
ACM
The width of a resolution proof is the maximal number of literals in any clause of the proof. The space of a proof is the maximal number of clauses kept in memory simultaneously if...
CSL
2007
Springer
14 years 1 months ago
2007
Springer
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
CVPR
2011
IEEE
12 years 11 months ago
2011
IEEE
Spatial Super Resolution (SR) aims to recover fine image details, smaller than a pixel size. Temporal SR aims to recover rapid dynamic events that occur faster than the video fra...
ICPP
2002
IEEE
14 years 17 days ago
2002
IEEE
Code size expansion of software-pipelined loops is a critical problem for DSP systems with strict code size constraint. Some ad-hoc code size reduction techniques were used to try...
ISCAS
2007
IEEE
14 years 1 months ago
2007
IEEE
—A parallel, multi-resolution spectrum sensing technique that is amenable to multiple-antenna cognitive radios is introduced. We show that for energy-detector-type spectrum senso...