Sciweavers

6598 search results - page 92 / 1320
» Graph Theory with Applications
Sort
View
GD
2000
Springer
15 years 8 months ago
GraphXML - An XML-Based Graph Description Format
GraphXML is a graph description language in XML that can be used as an interchange format for graph drawing and visualization packages. The generality and rich features of XML mak...
Ivan Herman, M. Scott Marshall
BIRTHDAY
2005
Springer
15 years 10 months ago
Graph Transformation with Variables
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
Berthold Hoffmann
ICFCA
2004
Springer
15 years 9 months ago
Background Knowledge in Concept Graphs
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
Frithjof Dau
JGAA
2007
88views more  JGAA 2007»
15 years 4 months ago
Dynamic Spectral Layout with an Application to Small Worlds
Spectral methods are naturally suited for dynamic graph layout because, usually, moderate changes of a graph yield moderate changes of the layout. We discuss some general principl...
Ulrik Brandes, Daniel Fleischer, Thomas Puppe
CAV
2008
Springer
143views Hardware» more  CAV 2008»
15 years 6 months ago
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
Salil Joshi, Barbara König