Sciweavers

3240 search results - page 36 / 648
» Pre-aggregation with probability distributions
Sort
View
115
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
121
Voted
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