C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Property-specific witness graph generation for guided simulation.
Albert E. Casavant
Aarti Gupta
S. Liu
Akira Mukaiyama
Kazutoshi Wakabayashi
Pranav Ashar
Published in:
DATE (2001)
Keyphrases
</>
graph theory
domain specific
simulation environment
high level
numerical simulations
directed graph
graph properties
bipartite graph
connected components
random walk
simulation model
pairwise
graph model
graph representation
neural network
graph based algorithm
data sets