1981 search results - page 33 / 397 » Model-Checking Hierarchical Structures |
INFOVIS
1999
IEEE
14 years 1 months ago
1999
IEEE
A new method is presented for the visualization of hierarchical information, such as directory structures and organization structures. Cushion treemaps inherit the elegance of sta...
DFG
2004
Springer
14 years 14 days ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
B
2007
Springer
14 years 2 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
SIGKDD
2010
13 years 3 months ago
2010
The goal of this work was to test whether the performance of a regular pairwise classifier can be improved when additional information about the hierarchical class structure is ad...
SCIA
2005
Springer
14 years 2 months ago
2005
Springer
We compare three hierarchical structures, S15, C15, C19, that are used to steer a segmentation process in 3d voxel images. There is an important topological difference between C19...