Sciweavers

530 search results - page 39 / 106
» Bounds on marginal probability distributions
Sort
View
FORMATS
2007
Springer
14 years 2 months ago
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
Sergio Giro, Pedro R. D'Argenio
COMBINATORICA
2008
130views more  COMBINATORICA 2008»
13 years 8 months ago
Two-point concentration in random geometric graphs
A random geometric graph Gn is constructed by taking vertices X1, . . . , Xn Rd at random (i.i.d. according to some probability distribution with a bounded density function) and...
Tobias Müller
GFKL
2005
Springer
133views Data Mining» more  GFKL 2005»
14 years 1 months ago
Finding Persisting States for Knowledge Discovery in Time Series
Abstract. Knowledge Discovery in time series usually requires symbolic time series. Many discretization methods that convert numeric time series to symbolic time series ignore the ...
Fabian Mörchen, Alfred Ultsch
DSOM
2006
Springer
13 years 11 months ago
Uncertainty in Global Application Services with Load Sharing Policy
Abstract. With many organizations now employing multiple data centres around the world to share global traffic load, it is important to understand the effects of geographical distr...
Mark Burgess, Sven Ingebrigt Ulland
EMNLP
2007
13 years 9 months ago
Probabilistic Models of Nonprojective Dependency Trees
A notable gap in research on statistical dependency parsing is a proper conditional probability distribution over nonprojective dependency trees for a given sentence. We exploit t...
David A. Smith, Noah A. Smith