139 search results - page 9 / 28 » Shortcomings with using edge encodings to represent graph st... |
IV
2009
IEEE
14 years 2 months ago
2009
IEEE
Most methods for generating Euler diagrams describe the detection of the general structure of the final draw as the first and most important step. This information is often depi...
CEEMAS
2001
Springer
13 years 12 months ago
2001
Springer
The paper focuses on the application of a multi-agent system for a management process. The presented system is working on the structure of graph, where nodes represent decision mod...
CVIU
2007
13 years 7 months ago
2007
This article proposes a generative image model, which is called ‘‘primal sketch,’’ following Marr’s insight and terminology. This model combines two prominent classes of...
CGF
2008
13 years 7 months ago
2008
The evolution of dependencies in information hierarchies can be modeled by sequences of compound digraphs with edge weights. In this paper we present a novel approach to visualize...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...