13603 search results - page 103 / 2721 » On the Computational Complexity of Cut-Reduction |
131
click to vote
DCC
1998
IEEE
15 years 10 months ago
1998
IEEE
The ITU-T H.263+ low bit-rate video coding standard is Version 2 of the draft international standard ITU-T H.263. Currently, we are a contributing party in the H.263+ standardizat...
148
click to vote
PPOPP
1995
ACM
15 years 9 months ago
1995
ACM
paper we describe d/streams, a language-independent abstraction with a small set of simple primitives for buffered I/O on distributed data-structures. We describe the interface an...
136
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
We present classical simulation techniques for measure once quantum branching programs. For bounded error syntactic quantum branching program of width w that computes a function w...
147
click to vote
IJHPCA
2008
15 years 6 months ago
2008
Principal component analysis (PCA) is an effective tool for spectral decorrelation of hyperspectral imagery, and PCA-based spectral transforms have been employed successfully in co...
154
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
The Inductive Logic Programming community has considered proof-complexity and model-complexity, but, until recently, size-complexity has received little attention. Recently a chal...