Sciweavers

559 search results - page 28 / 112
» Augmented Marked Graphs
Sort
View
COMGEO
2008
ACM
13 years 8 months ago
Encompassing colored planar straight line graphs
Consider a planar straight line graph (PSLG), G, with k connected components, k 2. We show that if no component is a singleton, we can always find a vertex in one component that s...
Ferran Hurtado, Mikio Kano, David Rappaport, Csaba...
GG
2010
Springer
13 years 9 months ago
Verification of Graph Transformation Systems with Context-Free Specifications
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
Barbara König, Javier Esparza
PKDD
2010
Springer
152views Data Mining» more  PKDD 2010»
13 years 7 months ago
CET: A Tool for Creative Exploration of Graphs
We present a tool for interactive exploration of graphs that integrates advanced graph mining methods in an interactive visualization framework. The tool enables efficient explorat...
Stefan Haun, Andreas Nürnberger, Tobias K&oum...
ESA
2006
Springer
96views Algorithms» more  ESA 2006»
14 years 16 days ago
Finite Termination of "Augmenting Path" Algorithms in the Presence of Irrational Problem Data
This paper considers two similar graph algorithms that work by repeatedly increasing "flow" along "augmenting paths": the Ford-Fulkerson algorithm for the maxi...
Brian C. Dean, Michel X. Goemans, Nicole Immorlica
GD
1998
Springer
14 years 1 months ago
Graph Multidrawing: Finding Nice Drawings Without Defining Nice
This report proposes a
Therese C. Biedl, Joe Marks, Kathy Ryall, Sue Whit...