3105 search results - page 292 / 621 » The Path-Packing Structure of Graphs |
140
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
133
click to vote
ICDM
2008
IEEE
15 years 11 months ago
2008
IEEE
We present Graphite, a system that allows the user to visually construct a query pattern, finds both its exact and approximate matching subgraphs in large attributed graphs, and ...
178
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
In many applications, the underlying data (the web, an XML document, or a relational database) can be seen as a graph. These graphs may be enriched with weights, associated with t...
119
click to vote
ICDE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we show that the topologies of most logarithmic-style P2P systems like Pastry, Tapestry or P-Grid resemble small-world graphs. Inspired by Kleinberg’s small-world ...
150
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a new graph-based data structure, called Spatio Temporal Region Graph (STRG) which can represent the content of video sequence. Unlike existing ones which consider main...