Sciweavers

136 search results - page 18 / 28
» Unsupervised Recursive Sequence Processing
Sort
View
IFIP
2004
Springer
14 years 22 days ago
Ensuring Termination by Typability
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
Yuxin Deng, Davide Sangiorgi
ICASSP
2011
IEEE
12 years 11 months ago
Non-data-aided adaptive beamforming algorithm based on the Widely Linear Auxiliary Vector Filter
We propose a non-data-aided adaptive beamforming algorithm based on Widely Linear (WL) processing techniques and the Auxiliary Vector Filtering (AVF) algorithm for non-circular si...
Nuan Song, Jens Steinwandt, Lei Wang, Rodrigo C. d...
CEC
2010
IEEE
13 years 8 months ago
Evolving natural language grammars without supervision
Unsupervised grammar induction is one of the most difficult works of language processing. Its goal is to extract a grammar representing the language structure using texts without a...
Lourdes Araujo, Jesus Santamaria
ICIP
2007
IEEE
14 years 9 months ago
MAP Particle Selection in Shape-Based Object Tracking
The Bayesian filtering for recursive state estimation and the shape-based matching methods are two of the most commonly used approaches for target tracking. The Multiple Hypothesi...
Alessio Dore, Carlo S. Regazzoni, Mirko Musso
ICPR
2004
IEEE
14 years 8 months ago
Complex Human Activity Recognition for Monitoring Wide Outdoor Environments
The problem of automatic recognition of human activities is among the most important and challenging open areas of research in Computer Vision. This paper presents a new approach ...
Arcangelo Distante, I. Gnoni, Marco Leo, Paolo Spa...