1778 search results - page 39 / 356 » The Theory of Probabilistic Databases |
123
click to vote
FAC
2007
15 years 3 months ago
2007
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
153
click to vote
DLOG
2009
15 years 28 days ago
2009
Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...
131
click to vote
VMCAI
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
136
click to vote
VMCAI
2010
Springer
16 years 11 days ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
177
click to vote
RSKT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Decision-theoretic rough set models are a probabilistic extension of the algebraic rough set model. The required parameters for defining probabilistic lower and upper ap...