Sciweavers

2016 search results - page 178 / 404
» Distributed error confinement
Sort
View
PODS
2005
ACM
115views Database» more  PODS 2005»
16 years 26 days ago
Histograms revisited: when are histograms the best approximation method for aggregates over joins?
The traditional statistical assumption for interpreting histograms and justifying approximate query processing methods based on them is that all elements in a bucket have the same...
Alin Dobra
110
Voted
IPMI
2009
Springer
15 years 7 months ago
Estimating the Confidence of Statistical Model Based Shape Prediction
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...
Rémi Blanc, Ekaterina Syrkina, Gábor...
ICASSP
2009
IEEE
15 years 7 months ago
Modelling the prepausal lengthening effect for speech recognition: a dynamic Bayesian network approach
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 ...
Ning Ma, Chris Bartels, Jeff A. Bilmes, Phil Green
84
Voted
CONCUR
2009
Springer
15 years 7 months ago
Contracts for Mobile Processes
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...
Giuseppe Castagna, Luca Padovani
105
Voted
CONCUR
2009
Springer
15 years 7 months ago
Counterexamples in Probabilistic LTL Model Checking for Markov Chains
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 ...
Matthias Schmalz, Daniele Varacca, Hagen Völz...