Sciweavers

3105 search results - page 105 / 621
» The Path-Packing Structure of Graphs
Sort
View
ECEASST
2010
15 years 19 days ago
Conditional Adaptive Star Grammars
Abstract. The precise specification of software models is a major concern in model-driven design of object-oriented software. In this paper, we investigate how program graphs, a la...
Berthold Hoffmann
CORR
2010
Springer
105views Education» more  CORR 2010»
15 years 3 months ago
Exact Shortest Path Queries for Planar Graphs Using Linear Space
We provide the first linear-space data structure with provable sublinear query time for exact point-topoint shortest path queries in planar graphs. We prove that for any planar gr...
Shay Mozes, Christian Sommer
CORR
2004
Springer
177views Education» more  CORR 2004»
15 years 3 months ago
Typestate Checking and Regular Graph Constraints
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
Viktor Kuncak, Martin C. Rinard
IV
2003
IEEE
116views Visualization» more  IV 2003»
15 years 8 months ago
Visualization of Semantic Metadata and Ontologies
Implicit information embedded in semantic web graphs, such as topography, clusters, and disconnected subgraphs is difficult to extract from text files. Visualizations of the graph...
Paul Mutton, Jennifer Golbeck
UAI
2008
15 years 4 months ago
Bayesian Out-Trees
A Bayesian treatment of latent directed graph structure for non-iid data is provided where each child datum is sampled with a directed conditional dependence on a single unknown p...
Tony Jebara