Sciweavers

3047 search results - page 438 / 610
» A Temporal Consensus Model
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Analysis-synthesis based speech enhancement with improved spectrum envelope estimation by tracking speech dynamics
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...
Ruofei Chen, Cheung-Fat Chan
POPL
2006
ACM
16 years 6 months ago
A fixpoint calculus for local and global program flows
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...
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
TCAD
2008
90views more  TCAD 2008»
15 years 6 months ago
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
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...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
TIP
2008
169views more  TIP 2008»
15 years 6 months ago
Weakly Supervised Learning of a Classifier for Unusual Event Detection
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...
Mark Jager, Christian Knoll, Fred A. Hamprecht
ICASSP
2008
IEEE
16 years 25 days ago
The extended invariance principle applied to joint time-delay, frequency, and DOA estimation
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. ...