291 search results - page 36 / 59 » The Convergence of Contrastive Divergences |
186
click to vote
APN
2000
Springer
15 years 9 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
156
click to vote
AAAI
2007
15 years 8 months ago
2007
We describe a point-based policy iteration (PBPI) algorithm for infinite-horizon POMDPs. PBPI replaces the exact policy improvement step of Hansen’s policy iteration with point...
159
click to vote
CRV
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a method that combines graphbased segmentation and multistage region merging to segment laparoscopic images. Starting with image preprocessing, including Gauss...
129
click to vote
AAAI
2010
15 years 7 months ago
2010
Using a model of agent behavior based around envy-reducing strategies, we describe an iterated combinatorial auction in which the allocation and prices converge to a solution in t...
162
click to vote
NETWORKING
2007
15 years 7 months ago
2007
This paper addresses the optimal rate allocation problem in overlay content distribution for efficient utilization of limited bandwidths. We systematically present a series of opti...