31 search results - page 2 / 7 » fct 2005 |
FCT
2005
Springer
13 years 10 months ago
2005
Springer
FCT
2005
Springer
13 years 10 months ago
2005
Springer
FCT
2005
Springer
13 years 10 months ago
2005
Springer
Unambiguity in alternating Turing machines has received considerable attention in the context of analyzing globally-unique games by Aida et al. [ACRW04] and in the design of effic...
FCT
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we study the interplay between metric and order completeness of semantic domains equipped with generalised distances. We prove that for bounded complete posets direct...
FCT
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We analyse the mixing time of Markov chains using path coupling with stopping times. We apply this approach to two hypergraph problems. We show that the Glauber dynamics ...