Sciweavers

2016 search results - page 178 / 404
» Distributed error confinement
Sort
View
PODS
2005
ACM
115views Database» more  PODS 2005»
14 years 9 months 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
IPMI
2009
Springer
14 years 4 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
14 years 4 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
CONCUR
2009
Springer
14 years 4 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
CONCUR
2009
Springer
14 years 4 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...