In this paper we describe an interactive labeling algorithm, which allows to integrate internal 3D labels into medical visualizations generated from volumetric data sets. The prop...
Designing multimodal visualizations combining anatomical and functional brain data is a demanding task. Jainek et al. [1] applied illustrative rendering techniques to obtain a high...
Silvia Born, Werner M. Jainek, Mario Hlawitschka, ...
We describe a method for proving the termination of graph transformation systems. The method is based on the fact that infinite reductions must include infinite `creation chains...
We present a novel method for determining local multiresolution filters for a broad range of subdivision schemes. Our approach is based on constraining the wavelet coefficients s...
Luke Olsen, Faramarz F. Samavati, Richard H. Barte...
— Decisions on sources with memory transmitted over independent channels can be taken by employing trellis calculations. In this paper, it is shown that for a certain class of fu...