Abstract. We provide an alternative proof of the sequentialisation theorem for proof nets of multiplicative linear logic. Namely, we show how a proof net can be transformed into a ...
We present a novel system for gait recognition. Identity recognition and verification are based on the matching of linearly timenormalized gait walking cycles. A novel feature ext...
Nikolaos V. Boulgouris, Konstantinos N. Platanioti...
In this paper, we focus on a step of the watermarking process whose importance has been disregarded so far. In this perspective, we introduce the vector extraction paradigm which i...
A computer package is being developed at Bayreuth for the generation and investigation of discrete structures. The package is a C and C++ class library of powerful algorithms endow...
This paper describes a novel image transform called Multi-Scale Autoconvolution which is invariant with respect to affine transformations of the spatial image coordinates. The tra...