2711 search results - page 76 / 543 » Convergence of the Wake-Sleep Algorithm |
128
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
130
Voted
ISAAC
1998
Springer
15 years 7 months ago
1998
Springer
In this paper we present a randomized parallel algorithm to sample matchings from an almost uniform distribution on the set of matchings of all sizes in a graph. First we prove th...
127
Voted
ICIP
2006
IEEE
15 years 9 months ago
2006
IEEE
in Proc. IEEE Int’l Conf. on Image Processing (ICIP), pp 889-892, 2006 Traditional iterative tomographic reconstruction methods resort to gradient decent methods and require sig...
124
Voted
JCSS
2006
15 years 3 months ago
2006
This paper studies sequence prediction based on the monotone Kolmogorov complexity Km=-log m, i.e. based on universal deterministic/one-part MDL. m is extremely close to Solomonof...
117
click to vote
AAMAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Reinforcement learning (RL) is a widely used learning paradigm for adaptive agents. There exist several convergent and consistent RL algorithms which have been intensivel...