Sciweavers

2647 search results - page 215 / 530
» Solving Term Inequalities
Sort
View
SAC
2010
ACM
15 years 1 months ago
Similar triangles and orientation in plane elementary geometry for Coq-based proofs
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
Tuan Minh Pham
SIAMNUM
2010
105views more  SIAMNUM 2010»
15 years 1 months ago
Quantization Based Filtering Method Using First Order Approximation
The quantization based filtering method (see [13], [14]) is a grid based approximation method to solve nonlinear filtering problems with discrete time observations. It relies on o...
Afef Sellami
TIP
2010
163views more  TIP 2010»
15 years 1 months ago
Fast Image Recovery Using Variable Splitting and Constrained Optimization
We propose a new fast algorithm for solving one of the standard formulations of image restoration and reconstruction which consists of an unconstrained optimization problem where t...
Manya V. Afonso, José M. Bioucas-Dias, M&aa...
ICASSP
2011
IEEE
14 years 10 months ago
Fast discriminative speaker verification in the i-vector space
This work presents a new approach to discriminative speaker verification. Rather than estimating speaker models, or a model that discriminates between a speaker class and the cla...
Sandro Cumani, Niko Brümmer, Lukas Burget, Pi...
ICASSP
2011
IEEE
14 years 10 months ago
Robust adaptive beamforming based on jointly estimating covariance matrix and steering vector
In this paper, a new adaptive beamforming algorithm with joint robustness against covariance matrix uncertainty as well as steering vector mismatch is proposed. First, the theoret...
Yujie Gu, Amir Leshem