Sciweavers

5785 search results - page 46 / 1157
» Approximability of Probability Distributions
Sort
View
112
Voted
SAT
2010
Springer
164views Hardware» more  SAT 2010»
15 years 7 months ago
Improving Stochastic Local Search for SAT with a New Probability Distribution
Adrian Balint, Andreas Fröhlich
IANDC
2006
81views more  IANDC 2006»
15 years 3 months ago
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
Samy Abbes, Albert Benveniste