This paper presents a Kalman tracking approach to re-estimate clean spectral amplitude from noisy speech spectrum for re-synthesis based speech enhancement. The motivation of usin...
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
In this paper, we present an automatic classification framework combining appearance based features and Hidden Markov Models (HMM) to detect unusual events in image sequences. One...
This paper deals with the joint estimation of temporal (timedelay, Doppler frequency) and spatial (direction-of-arrival, DOA) parameters of several replicas of a known signal in a...
Felix Antreich, Josef A. Nossek, Gonzalo Seco, A. ...