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...
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...
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...
Michael Leuschel, Michael J. Butler, Corinna Sperm...
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...
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...