7121 search results - page 432 / 1425 » Functions as Session-Typed Processes |
181
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...
178
click to vote
KSEM
2009
Springer
16 years 1 months ago
2009
Springer
The changes in the dynamics of the economy and the corresponding mobility and fluctuations of knowledge workers within organizations make continuous social learning an essential f...
137
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper reveals weaknesses of existing e-learning system and puts forward a novel architecture of five layers from the perspective of knowledge innovation. Learner interface ...
156
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
to appear in Proc. IEEE Int’l Conf. on Acoustics, Speech, and Signal Processing, March, 2008 High-dynamic-range medical images take intensity values which cannot be visualized o...
165
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a novel feature set for speaker recognition that is based on the voice source signal. The feature extraction process uses closed-phase LPC analysis to estimate the voca...