935 search results - page 76 / 187 » Some Results on Orthogonal Factorizations |
TAMC
2009
Springer
15 years 4 months ago
2009
Springer
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we address the application of single sensor source separation techniques to mixtures of speech and music. Three strategies for source modeling are presented, namely ...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Image quality assessment (IQA) is of great importance for many image processing applications. Some IQA indexes proposed recently more or less try to boost their performance to acc...
SRDS
2008
IEEE
15 years 4 months ago
2008
IEEE
Unattended Wireless Sensor Networks (UWSNs) are composed of many small resource-constrained devices and operate autonomously, gathering data which is periodically collected by a v...
ACII
2007
Springer
15 years 4 months ago
2007
Springer
We use a χ2 analysis on our spoken dialogue tutoring corpus to investigate dependencies between uncertain student answers and 9 dialogue acts the human tutor uses in his response ...