1204 search results - page 104 / 241 » Hybrid Probabilistic Programs |
108
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
The two most popular backtrack algorithms for solving Constraint Satisfaction Problems (CSPs) are Forward Checking (FC) and Maintaining Arc Consistency (MAC). MAC maintains full ar...
SIAMJO
2008
15 years 19 days ago
2008
We study approximations of optimization problems with probabilistic constraints in which the original distribution of the underlying random vector is replaced with an empirical dis...
119
Voted
HPCA
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents three techniques for improving the effectiveness of the recently proposed Adaptive Stream Detection (ASD) prefetching mechanism. The ASD prefetcher is a standa...
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—We develop diverse routing schemes for dealing with multiple, possibly correlated, failures. While disjoint path protection can effectively deal with isolated single link failur...
124
click to vote
ICALP
2003
Springer
15 years 6 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...