13603 search results - page 409 / 2721 » On the Computational Complexity of Cut-Reduction |
208
click to vote
ISAAC
2001
Springer
16 years 4 days ago
2001
Springer
A fragmentary pattern is a multiset of non-empty strings, and it matches a string w if all the strings in it occur within w without any overlaps. We study some fundamental issues o...
187
click to vote
ICIP
2007
IEEE
16 years 9 months ago
2007
IEEE
Interactive navigation in image-based scenes requires random access to the compressed reference image data. When using state of the art block-based hybrid video coding techniques,...
177
click to vote
ICIP
2003
IEEE
16 years 9 months ago
2003
IEEE
The widely used denoising algorithms based on nonlinear diffusion, such as Perona-Malik and total variation denoising, modify images toward piecewise constant functions. Though ed...
155
click to vote
LICS
2007
IEEE
16 years 2 months ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
224
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...