5012 search results - page 605 / 1003 » Distributed Error Correction |
183
click to vote
IPMI
2009
Springer
16 years 1 months ago
2009
Springer
We propose a method for estimating confidence regions around shapes predicted from partial observations, given a statistical shape model. Our method relies on the estimation of the...
193
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Speech has a property that the speech unit preceding a speech pause tends to lengthen. This work presents the use of a dynamic Bayesian network to model the prepausal lengthening ...
149
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...
173
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
203
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
— Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with specific management interfaces. Moreover, t...