Sciweavers

1547 search results - page 82 / 310
» Randomized Variable Elimination
Sort
View
APPROX
2004
Springer
125views Algorithms» more  APPROX 2004»
15 years 8 months ago
Strong Refutation Heuristics for Random k-SAT
A simple first moment argument shows that in a randomly chosen k-SAT formula with m clauses over n boolean variables, the fraction of satisfiable clauses is 1−2−k +o(1) as m/...
Amin Coja-Oghlan, Andreas Goerdt, André Lan...
COCO
1991
Springer
112views Algorithms» more  COCO 1991»
15 years 6 months ago
Randomized vs.Deterministic Decision Tree Complexity for Read-Once Boolean Functions
We consider the deterministic and the randomized decision tree complexities for Boolean functions, denoted DC(f) and RC(f), respectively. A major open problem is how small RC(f) ca...
Rafi Heiman, Avi Wigderson
ASPDAC
2008
ACM
94views Hardware» more  ASPDAC 2008»
15 years 5 months ago
Robust on-chip bus architecture synthesis for MPSoCs under random tasks arrival
A major trend in a modern system-on-chip design is a growing system complexity, which results in a sharp increase of communication traffic on the on-chip communication bus architec...
Sujan Pandey, Rolf Drechsler
UAI
2004
15 years 4 months ago
Convolutional Factor Graphs as Probabilistic Models
Based on a recent development in the area of error control coding, we introduce the notion of convolutional factor graphs (CFGs) as a new class of probabilistic graphical models. ...
Yongyi Mao, Frank R. Kschischang, Brendan J. Frey
ICIP
1998
IEEE
16 years 4 months ago
Adaptive Restoration of Speckled SAR Images using a Compound Random Markov Field
This paper proposes a restoration scheme for noisy images generated by coherent imaging systems (e.g., synthetic aperture radar, synthetic aperture sonar, ultrasound imaging, and ...
José M. B. Dias, José M. N. Leit&ati...