Sciweavers

3096 search results - page 269 / 620
» Theory and Use of the EM Algorithm
Sort
View
AAAI
2004
15 years 8 months ago
Dynamic Programming for Partially Observable Stochastic Games
We develop an exact dynamic programming algorithm for partially observable stochastic games (POSGs). The algorithm is a synthesis of dynamic programming for partially observable M...
Eric A. Hansen, Daniel S. Bernstein, Shlomo Zilber...
ESANN
2004
15 years 8 months ago
Forbidden Magnification? I
This paper presents some interesting results obtained by the algorithm by Bauer, Der and Hermann (BDH) [1] for magnification control in Self-Organizing Maps. Magnification control ...
Abha Jain, Erzsébet Merényi
CORR
2007
Springer
84views Education» more  CORR 2007»
15 years 6 months ago
Undirected Graphs of Entanglement Two
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
Walid Belkhir, Luigi Santocanale
PPSN
2010
Springer
15 years 5 months ago
Design and Comparison of two Evolutionary Approaches for Solving the Rubik's Cube
Solutions calculated by Evolutionary Algorithms have come to surpass exact methods for solving various problems. The Rubik’s Cube multiobjective optimization problem is one such ...
Nail El-Sourani, Markus Borschbach
PTS
2010
175views Hardware» more  PTS 2010»
15 years 4 months ago
Test Data Generation for Programs with Quantified First-Order Logic Specifications
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
Christoph Gladisch