711 search results - page 87 / 143 » Color sketch generation |
TACAS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
ICASSP
2009
IEEE
14 years 5 months ago
2009
IEEE
Nonlinear acoustic echo cancellers (NLAEC) are becoming increasingly important in hands-free applications. However, in some situations, an NLAEC is inferior to a linear AEC, espec...
CEC
2008
IEEE
14 years 5 months ago
2008
IEEE
— This paper proposes a GPU based algorithm for extracting moving objects in real time. The whole process of the proposed approach is handled on GPU. GPU is used for acceleration...
FGR
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper presents an algorithm for measuring hair and face appearance in 2D images. Our approach starts by using learned mixture models of color and location information to sugg...
WACV
2008
IEEE
14 years 5 months ago
2008
IEEE
In the traditional mixture of Gaussians background model, the generating process of each pixel is modeled as a mixture of Gaussians over color. Unfortunately, this model performs ...