Sciweavers

424 search results - page 8 / 85
» Productivity of Stream Definitions
Sort
View
CSL
2006
Springer
14 years 9 months ago
Product of Gaussians for speech recognition
Recently there has been interest in the use of classifiers based on the product of experts (PoE) framework. PoEs offer an alternative to the standard mixture of experts (MoE) fram...
M. J. F. Gales, S. S. Airey
SIGSOFT
2008
ACM
15 years 10 months ago
Experience in using a process language to define scientific workflow and generate dataset provenance
This paper describes our experiences in exploring the applicability of software engineering approaches to scientific data management problems. Specifically, this paper describes h...
Leon J. Osterweil, Lori A. Clarke, Aaron M. Elliso...
CORR
2008
Springer
75views Education» more  CORR 2008»
14 years 9 months ago
Inductive and Coinductive Components of Corecursive Functions in Coq
In Constructive Type Theory, recursive and corecursive definitions are subject to syntactic restrictions which guarantee termination for recursive functions and productivity for c...
Yves Bertot, Ekaterina Komendantskaya
WICON
2008
14 years 11 months ago
A survey on P2P streaming clients: looking at the end-user
Peer-to-peer (P2P) streaming systems grow in numbers and potential and several commercial products are already competing. Internet home users
Alexandro Sentinelli, Luca Celetto, Damien Lefol, ...
IPPS
2006
IEEE
15 years 3 months ago
MPEG-2 decoding in a stream programming language
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
M. Drake, Henry Hoffmann, Rodric M. Rabbah, Saman ...