74 search results - page 3 / 15 » icalp 2005 |
171
click to vote
ICALP
2005
Springer
16 years 15 days 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...
152
click to vote
ICALP
2005
Springer
16 years 15 days 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...
174
click to vote
ICALP
2005
Springer
16 years 15 days 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...
191
Voted
ICALP
2005
Springer
16 years 15 days 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...