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...
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
During software requirements analysis and design steps, developers and stakeholders have many alternatives of artifacts such as software component selection and should make decisi...
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...
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...