Sciweavers

99 search results - page 9 / 20
» On a class of finite symmetric graphs
Sort
View
STOC
2005
ACM
163views Algorithms» more  STOC 2005»
16 years 26 days ago
Undirected ST-connectivity in log-space
We present a deterministic, log-space algorithm that solves st-connectivity in undirected graphs. The previous bound on the space complexity of undirected st-connectivity was log4...
Omer Reingold
COMBINATORICS
1999
93views more  COMBINATORICS 1999»
15 years 6 days ago
Induced Complete h-partite Graphs in Dense Clique-less Graphs
It is proven that for every fixed h, a and b, a graph with n vertices and minimum degree at least h-1 h n, which contains no copy of Kb (the complete graph with b vertices), conta...
Eldar Fischer
195
Voted
POPL
2005
ACM
16 years 26 days ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...
COLING
2002
15 years 11 days ago
A Graph Model for Unsupervised Lexical Acquisition
This paper presents an unsupervised method for assembling semantic knowledge from a part-ofspeech tagged corpus using graph algorithms. The graph model is built by linking pairs o...
Dominic Widdows, Beate Dorow
94
Voted
JCT
2006
77views more  JCT 2006»
15 years 15 days ago
There are uncountably many topological types of locally finite trees
Consider two locally finite rooted trees as equivalent if each of them is a topological minor of the other, with an embedding preserving the tree-order. Answering a question of va...
Lilian Matthiesen