Search Sciweavers | Sciweavers

697 search results - page 10 / 140

» Decomposition Structures for Event-B

click to vote

GD
2006
Springer

125views Computer Graphics» more GD 2006»

Planar Decompositions and the Crossing Number of Graphs with an Excluded Minor

13 years 11 months ago

Download www.univie.ac.at

Tree decompositions of graphs are of fundamental importance in structural and algorithmic graph theory. Planar decompositions generalise tree decompositions by allowing an arbitrar...

David R. Wood, Jan Arne Telle

claim paper

Read More »

click to vote

ICDE
2007
IEEE

134views Database» more ICDE 2007»

Graph Database Indexing Using Structured Graph Decomposition

14 years 8 months ago

Download www.cs.unc.edu

We introduce a novel method of indexing graph databases in order to facilitate subgraph isomorphism and similarity queries. The index is comprised of two major data structures. Th...

David W. Williams, Jun Huan, Wei Wang 0010

claim paper

Read More »

click to vote

PERCOM
2008
ACM

92views Computer Networks» more PERCOM 2008»

Structured decomposition of adaptive applications

14 years 7 months ago

Download people.csail.mit.edu

We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...

Justin Mazzola Paluska, Hubert Pham, Umar Saif, Gr...

claim paper

Read More »

click to vote

CSB
2005
IEEE

126views Bioinformatics» more CSB 2005»

A Tree-Decomposition Approach to Protein Structure Prediction

14 years 1 months ago