1407 search results - page 105 / 282 » Join-Graph Propagation Algorithms |
143
click to vote
SAT
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. We offer a new understanding of some aspects of practical SAT-solvers that are based on DPLL with unit-clause propagation, clause-learning, and restarts. On the theoreti...
192
click to vote
AICT
2007
IEEE
16 years 19 days ago
2007
IEEE
Various researchers have reported that traffic measurements demonstrate considerable burstiness on several time scales, with properties of self-similarity. Also, the rapid developm...
127
click to vote
CCR
2005
15 years 6 months ago
2005
Dynamic multi-path routing has the potential to improve the reliability and performance of a communication network, but carries a risk. Routing needs to respond quickly to achieve...
139
click to vote
MODELS
2009
Springer
16 years 25 days ago
2009
Springer
We present a novel technique for applying two-level runtime models to distributed systems. Our approach uses graph rewriting rules to transform a high-level source model into one o...
156
click to vote
ICMCS
2006
IEEE
16 years 10 days ago
2006
IEEE
H.264 is a new video coding standard which contains some novel coding functions and provides more coding efficiency than previous standards. However, video streams are sensitive t...