Sciweavers

5606 search results - page 386 / 1122
» Randomization Techniques for Graphs.
Sort
View
182
Voted
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 7 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
SSDBM
2007
IEEE
131views Database» more  SSDBM 2007»
16 years 29 days ago
Mining RNA Tertiary Motifs with Structure Graphs
We present a novel application of graph database mining to identify tertiary motifs in RNA structures. In od, we abstract an RNA molecule as a labeled graph and use a frequent sub...
Xueyi Wang, Jun Huan, Jack Snoeyink, Wei Wang 0010
ER
2007
Springer
101views Database» more  ER 2007»
16 years 26 days ago
Using Attributed Goal Graphs for Software Component Selection: An Application of Goal-Oriented Analysis to Decision Making
During software requirements analysis and design steps, developers and stakeholders have many alternatives of artifacts such as software component selection and should make decisi...
Kazuma Yamamoto, Motoshi Saeki
COCOON
2003
Springer
15 years 12 months ago
On Spectral Graph Drawing
The spectral approach for graph visualization computes the layout of a graph using certain eigenvectors of related matrices. Some important advantages of this approach are an abili...
Yehuda Koren
ESWS
2006
Springer
15 years 10 months ago
Content Aggregation on Knowledge Bases Using Graph Clustering
Recently, research projects such as PADLR and SWAP have developed tools like Edutella or Bibster, which are targeted at establishing peer-to-peer knowledge management (P2PKM) syste...
Christoph Schmitz, Andreas Hotho, Robert Jäsc...