4276 search results - page 247 / 856 » Techniques for Empirical Validation |
147
click to vote
AAAI
2008
15 years 9 months ago
2008
Compilation is an important approach to a range of inference problems, since it enables linear-time inference in the size S of the compiled representation. However, the main drawb...
192
click to vote
AAAI
2008
15 years 9 months ago
2008
Loop Calculus, introduced by Chertkov and Chernyak, is a new technique to incrementally improve approximations computed by Loopy Belief Propagation (LBP), with the ability to even...
169
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we present a new way to preprocess Boolean formulae in Conjunctive Normal Form (CNF). In contrast to most of the current pre-processing techniques, our app...
147
click to vote
IJCAI
2007
15 years 8 months ago
2007
In this paper, we present a multi-agent control method for a large-scale network system. We propose an extension of a token-based coordination technique to improve the tradeoff be...
153
click to vote
AIPS
2004
15 years 8 months ago
2004
Scaling conformant planning is a problem that has received much attention of late. Many planners solve the problem as a search in the space of belief states, and some heuristic gu...