Sciweavers

678 search results - page 33 / 136
» Structural Properties of Sparse Graphs
Sort
View
JGAA
2007
124views more  JGAA 2007»
13 years 8 months ago
Energy Models for Graph Clustering
The cluster structure of many real-world graphs is of great interest, as the clusters may correspond e.g. to communities in social networks or to cohesive modules in software syst...
Andreas Noack
WADS
2009
Springer
256views Algorithms» more  WADS 2009»
14 years 3 months ago
Dynamic Graph Clustering Using Minimum-Cut Trees
Abstract. Algorithms or target functions for graph clustering rarely admit quality guarantees or optimal results in general. Based on properties of minimum-cut trees, a clustering ...
Robert Görke, Tanja Hartmann, Dorothea Wagner
JGT
2010
84views more  JGT 2010»
13 years 7 months ago
Large classes of infinite k-cop-win graphs
While finite cop-win finite graphs possess a good structural characterization, none is known for infinite cop-win graphs. As evidence that such a characterization might not exis...
Anthony Bonato, Gena Hahn, Claude Tardif
AAAI
1996
13 years 10 months ago
A Graph-Based Method for Improving GSAT
GSAT is a randomized greedy local repair procedure that was introduced for solving propositional satis ability and constraint satisfaction problems. We present an improvement to G...
Kalev Kask, Rina Dechter
SAS
2009
Springer
147views Formal Methods» more  SAS 2009»
14 years 9 months ago
The Complexity of Andersen's Analysis in Practice
Abstract. While the tightest proven worst-case complexity for Andersen's points-to analysis is nearly cubic, the analysis seems to scale better on real-world codes. We examine...
Manu Sridharan, Stephen J. Fink