13026 search results - page 397 / 2606 » Probabilistic Relational Models |
159
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
174
click to vote
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
156
Voted
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
139
click to vote
COLT
2008
Springer
15 years 6 months ago
2008
Springer
We define a model of learning probabilistic acyclic circuits using value injection queries, in which an arbitrary subset of wires is set to fixed values, and the value on the sing...
156
click to vote
BNCOD
2008
15 years 6 months ago
2008
Abstract. The problem of dealing with inconsistent data while integrating XML data from different sources is an important task, necessary to improve data integration quality. Typic...