Scatterplots remain one of the most popular and widely-used visual representations for multidimensional data due to their simplicity, familiarity and visual clarity, even if they l...
Niklas Elmqvist, Pierre Dragicevic, Jean-Daniel Fe...
This work aims to investigate the suitability of applying Virtual Reality techniques in the exploration of Mars terrain features in order to support the creation of topographic ma...
In this paper, we describe a new force-feedback technique termed "inverted damping", which aids users in manually selecting specific items from within a range of possibl...
The manual step in semi-automatic segmentation of medical volume images typically involves initialization procedures such as placement of seed-points or positioning of surface mod...
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...