Abstract. Planning information security investment is somewhere between art and science. This paper reviews and compares existing scientific approaches and discusses the relation ...
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
Abstract. Co-referential relations between textual and visual elements in illustrations can be encoded efficiently through textual labels. The labels support students to learn unk...
Gait is a new biometric aimed to recognise a subject by the manner in which they walk. Gait has several advantages over other biometrics, most notably that it is non-invasive and ...
We study the relation between maps of a high-dimensional stimulus manifold onto an essentially two-dimensional cortical area and low-dimensional maps of stimulus features such as ...
Norbert Michael Mayer, J. Michael Herrmann, Theo G...