12707 search results - page 78 / 2542 » A Distributed Arc-Consistency Algorithm |
155
click to vote
AAAI
2000
15 years 7 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
151
click to vote
ICASSP
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract— The paper considers the algorithm NLU for distributed (vector) parameter estimation in sensor networks, where, the local observation models are nonlinear, and inter-sen...
157
click to vote
CIMCA
2005
IEEE
15 years 11 months ago
2005
IEEE
Minimal Switching Graph (MSG) is a graphical model for the constrained via minimization problem — a combinatorial optimization problem in integrated circuit design automation. F...
156
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
A recent study characterizing failures in computer networks shows that transient single element (node/link) failures are the dominant failures in large communication networks like...