1407 search results - page 105 / 282 » Join-Graph Propagation Algorithms |
SAT
2009
Springer
14 years 3 months 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...
AICT
2007
IEEE
14 years 3 months 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...
CCR
2005
13 years 8 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...
MODELS
2009
Springer
14 years 3 months 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...
ICMCS
2006
IEEE
14 years 2 months 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...