893 search results - page 107 / 179 » Descent Theory for Schemes |
100
click to vote
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
Originally, the hierarchical coding structure was proposed to achieve temporal scalability. Soon after, it was realized that with a proper quantization parameter cascading (QPC) s...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Nested codes have been employed in a large number of communication applications as a specific case of superposition codes, for example to implement binning schemes in the presence ...
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract-- This paper concerns the power minimization problem in server farms. The power minimization problem over dynamic power allocation schemes is formally defined and formulat...
106
click to vote
APLAS
2011
ACM
13 years 12 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
CVPR
1999
IEEE
16 years 1 months ago
1999
IEEE
* The surface-matching problem is investigated in this paper using a mathematical tool called harmonic maps. The theory of harmonic maps studies the mapping between different metri...