1981 search results - page 134 / 397 » Model-Checking Hierarchical Structures |
IV
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper describes a radial layout method for displaying B+ -tree data structures. We present an algorithmic framework for computing the node positions that result in a planar d...
INTERACT
2007
14 years 11 months ago
2007
Most visualization systems fail to convey uncertainty within data. To provide a way to show uncertainty in similar hierarchies, we interpreted the differences between two tree stru...
NAR
2000
14 years 9 months ago
2000
The Structural Classification of Proteins (SCOP) database provides a detailed and comprehensive description of the relationships of all known proteins structures. The classificati...
NAR
2002
14 years 9 months ago
2002
The Structural Classification of RNA (SCOR) database provides a survey of the three-dimensional motifs contained in 259 NMR and X-ray RNA structures. In one classification, the st...
ASPDAC
2005
ACM
14 years 12 months ago
2005
ACM
- This paper presents a novel approach for fast transient analysis of buffered hybrid structured clock networks. The new method applies structure reduction and relaxed hierarchical...