Sciweavers

1402 search results - page 204 / 281
» Sparse-Memory Graph Search
Sort
View
110
Voted
SODA
2008
ACM
131views Algorithms» more  SODA 2008»
15 years 4 months ago
PageRank and the random surfer model
In recent years there has been considerable interest in analyzing random graph models for the Web. We consider two such models - the Random Surfer model, introduced by Blum et al....
Prasad Chebolu, Páll Melsted
93
Voted
AIPS
2000
15 years 3 months ago
Distance-Based Goal-Ordering Heuristics for Graphplan
We will discuss the shortcomings of known variable and value ordering strategies for Graphplan's backward search phase, and propose a novel strategy that is based on a notion...
Subbarao Kambhampati, Romeo Sanchez Nigenda
IPL
2006
72views more  IPL 2006»
15 years 2 months ago
Structure and linear time recognition of 3-leaf powers
A graph G is the k-leaf power of a tree T if its vertices are leaves of T such that two vertices are adjacent in G if and only if their distance in T is at most k. Then T is the k...
Andreas Brandstädt, Van Bang Le
128
Voted
ARSCOM
2004
91views more  ARSCOM 2004»
15 years 2 months ago
Edge-critical isometric subgraphs of hypercubes
All cubic partial cubes (i.e., cubic isometric subgraphs of hypercubes) up to 30 vertices and all edge-critical partial cubes up to 14 vertices are presented. The lists of graphs ...
Sandi Klavzar, Alenka Lipovec
DLOG
2007
15 years 4 months ago
EXPTIME Tableaux for ALC Using Sound Global Caching
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
Rajeev Goré, Linh Anh Nguyen