74 search results - page 3 / 15 » icalp 2005 |
ICALP
2005
Springer
13 years 11 months ago
2005
Springer
ICALP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
ICALP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We study the problem of determining the complexity of optimal comparison-based in-place sorting when the key length, k, is not a constant. We present the first algorithm...
ICALP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite alphabet. This solves an open question by Gro...
ICALP
2005
Springer
13 years 11 months ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...