13603 search results - page 348 / 2721 » On the Computational Complexity of Cut-Reduction |
206
click to vote
ICIAR
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we introduce a new multiscale representation for 2-D images named the Inter-Coefficient Product (ICP). The ICP is a decimated pyramid of complex values based on the ...
233
Voted
ICCV
2009
IEEE
17 years 15 days ago
2009
IEEE
Current state-of-the-art image-based scene reconstruction
techniques are capable of generating high-fidelity 3D
models when used under controlled capture conditions.
However, th...
234
Voted
WG
2009
Springer
16 years 2 months ago
2009
Springer
We study the parameterized complexity of several minimum label graph problems, in which we are given an undirected graph whose edges are labeled, and a property Π, and we are ask...
214
click to vote
STACS
2007
Springer
16 years 1 months ago
2007
Springer
Strategic games may exhibit symmetries in a variety of ways. A characteristic feature, enabling the compact representation of games even when the number of players is unbounded, i...
235
click to vote
FSTTCS
2005
Springer
16 years 1 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...