Sciweavers

102
Voted
TCS
1998
15 years 4 months ago
A Computational Model for Metric Spaces
In this paper we present an alternative order-theoretic proof of the Banach fixed point theorem for selfmaps on complete metric spaces which is based on formal balls and, contrary...
Abbas Edalat, Reinhold Heckmann
TCS
1998
15 years 4 months ago
Near-Optimal, Distributed Edge Colouring via the Nibble Method
Devdatt P. Dubhashi, David A. Grable, Alessandro P...
110
Voted
TCS
1998
15 years 4 months ago
Parameterized Circuit Complexity and the W Hierarchy
Rodney G. Downey, Michael R. Fellows, Kenneth W. R...
TCS
1998
15 years 4 months ago
Threshold Dominating Sets and an Improved Characterization of W[2]
The Threshold Dominating Set problem is that of determining for a graph G = (V, E) whether there is a subset V ⊆ V of size k, such that for each vertex v ∈ V there are at leas...
Rodney G. Downey, Michael R. Fellows
130
Voted
TCS
1998
15 years 4 months ago
Merit Factors and Morse Sequences
Abstract. We show that Turyn’s conjecture, arising from the Theory of Error Correcting Codes, has an equivalent formulation in Dynamical Systems Theory. In particular, Turyn’s ...
T. Downarowicz, Y. Lacroix
97
Voted
TCS
1998
15 years 4 months ago
The Quotient of an Abstract Interpretation
Agostino Cortesi, Gilberto Filé, William H....
145
Voted
TCS
1998
15 years 4 months ago
A Uniform Approach to Semi-Dynamic Problems on Digraphs
In this paper we propose a uniform approach to deal with incremental problems on digraphs and with decremental problems on dags generalizing a technique used by La Poutr´e and va...
Serafino Cicerone, Daniele Frigioni, Umberto Nanni...
72
Voted
TCS
1998
15 years 4 months ago
Open Maps, Behavioural Equivalences, and Congruences
Allan Cheng, Mogens Nielsen