441 search results - page 43 / 89 » A Method for Proving Observational Equivalence |
SI3D
2009
ACM
14 years 3 months ago
2009
ACM
Physically plausible illumination at real-time framerates is often achieved using approximations. One popular example is ambient occlusion (AO), for which very simple and efficie...
IDEAL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Normal mixture models are often used to cluster continuous data. However, conventional approaches for fitting these models will have problems in producing nonsingular es...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper proposes a noise robust exemplar-based speech recognition system where noisy speech is modeled as a linear combination of a set of speech and noise exemplars. The metho...
AUTOMATICA
2008
13 years 9 months ago
2008
We consider the problem of stabilization of a one-dimensional wave equation that contains instability at its free end and control on the opposite end. In contrast to classical col...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...