Sciweavers

5699 search results - page 371 / 1140
» Alternating model trees
Sort
View
WSC
2000
15 years 9 months ago
Avatar kinematics modeling for telecollaborative virtual environments
This paper introduced the application of a more efficient mathematical representation of the kinematics of avatars, or digital human beings, in telecollaborative virtual reality e...
Cristian Luciano, Pat Banerjee
ICGI
2010
Springer
15 years 8 months ago
Enhanced Suffix Arrays as Language Models: Virtual k-Testable Languages
Abstract. In this article, we propose the use of suffix arrays to efficiently implement n-gram language models with practically unlimited size n. This approach, which is used with ...
Herman Stehouwer, Menno van Zaanen
AMC
2006
79views more  AMC 2006»
15 years 7 months ago
VC-dimension and structural risk minimization for the analysis of nonlinear ecological models
The problem of distinguishing density-independent (DI) from density-dependent (DD) demographic time series is important for understanding the mechanisms that regulate populations ...
Giorgio Corani, Marino Gatto
ENTCS
2007
134views more  ENTCS 2007»
15 years 7 months ago
A Compact Linear Translation for Bounded Model Checking
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
Paul B. Jackson, Daniel Sheridan
TASLP
2002
111views more  TASLP 2002»
15 years 7 months ago
Speech enhancement using a mixture-maximum model
We present a spectral domain, speech enhancement algorithm. The new algorithm is based on a mixture model for the short time spectrum of the clean speech signal, and on a maximum a...
David Burshtein, Sharon Gannot