12707 search results - page 78 / 2542 » A Distributed Arc-Consistency Algorithm |
113
click to vote
AAAI
2000
15 years 3 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...
120
click to vote
ICASSP
2009
IEEE
15 years 9 months 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...
122
Voted
CIMCA
2005
IEEE
15 years 8 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...
111
Voted
CORR
2008
Springer
15 years 2 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...
93
Voted
DCOSS
2007
Springer
15 years 8 months ago
2007
Springer