2899 search results - page 164 / 580 » Dynamic Trees in Practice |
111
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In practical nonlinear filtering, the assessment of achievable filtering performance is important. In this paper, we focus on the problem of how to efficiently approximate the post...
150
click to vote
RECOMB
2009
Springer
16 years 5 months ago
2009
Springer
A repetitive sequence collection is one where portions of a base sequence of length n are repeated many times with small variations, forming a collection of total length N. Example...
132
click to vote
STACS
1999
Springer
15 years 8 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
129
Voted
IS
2010
15 years 3 months ago
2010
Given a hypergraph and a set of embedded functional dependencies, we investigate the problem of determining the conditions under which we can efficiently generate redundancy-free ...
165
click to vote
CIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we compare state-of-the-art multi-agent reinforcement learning algorithms in a wide variety of games. We consider two types of algorithms: value iteration a...