Sciweavers

9532 search results - page 331 / 1907
» Logic, Graphs, and Algorithms
Sort
View
SLP
1990
121views more  SLP 1990»
15 years 7 months ago
Analysis of Constraint Logic Programs
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
Kim Marriott, Harald Søndergaard
DIALM
2005
ACM
104views Algorithms» more  DIALM 2005»
15 years 8 months ago
Information dissemination in highly dynamic graphs
We investigate to what extent flooding and routing is possible if the graph is allowed to change unpredictably at each time step. We study what minimal requirements are necessary...
Regina O'Dell, Roger Wattenhofer
180
Voted
JCT
2008
109views more  JCT 2008»
15 years 6 months ago
Decomposing Berge graphs and detecting balanced skew partitions
A hole in a graph is an induced cycle on at least four vertices. A graph is Berge if it has no odd hole and if its complement has no odd hole. In 2002, Chudnovsky, Robertson, Seym...
Nicolas Trotignon
GIS
2006
ACM
16 years 7 months ago
On-line maintenance of simplified weighted graphs for efficient distance queries
We give two efficient on-line algorithms to simplify weighted graphs by eliminating degree-two vertices. Our algorithms are on-line -- they react to updates on the data, keeping t...
Floris Geerts, Peter Z. Revesz, Jan Van den Bussch...
WEA
2009
Springer
104views Algorithms» more  WEA 2009»
15 years 11 months ago
Empirical Evaluation of Graph Partitioning Using Spectral Embeddings and Flow
We present initial results from the first empirical evaluation of a graph partitioning algorithm inspired by the Arora-Rao-Vazirani algorithm of [5], which combines spectral and ...
Kevin J. Lang, Michael W. Mahoney, Lorenzo Orecchi...