Sciweavers

638 search results - page 46 / 128
» Modeling interleaved hidden processes
Sort
View
ICC
2009
IEEE
135views Communications» more  ICC 2009»
13 years 8 months ago
A Discrete Channel Model for Capturing Memory and Soft-Decision Information: A Capacity Study
A discrete (binary-input 2q -ary output) communication channel with memory is introduced with the objective to judiciously capture both the statistical memory and the soft-decision...
Cecilio Pimentel, Fady Alajaji
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 9 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
WIDM
2004
ACM
14 years 4 months ago
Probabilistic models for focused web crawling
A Focused crawler must use information gleaned from previously crawled page sequences to estimate the relevance of a newly seen URL. Therefore, good performance depends on powerfu...
Hongyu Liu, Evangelos E. Milios, Jeannette Janssen
ICASSP
2011
IEEE
13 years 2 months ago
HNM-based MFCC+F0 extractor applied to statistical speech synthesis
Currently, the statistical framework based on Hidden Markov Models (HMMs) plays a relevant role in speech synthesis, while voice conversion systems based on Gaussian Mixture Model...
Daniel Erro, Iñaki Sainz, Eva Navas, Inma H...
JSS
2000
86views more  JSS 2000»
13 years 10 months ago
Quantitative analysis of static models of processes
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
Keith Phalp, Martin J. Shepperd