2711 search results - page 214 / 543 » Convergence of the Wake-Sleep Algorithm |
171
click to vote
SIROCCO
2010
15 years 6 months ago
2010
We consider asynchronous message-passing systems in which some links are timely and processes may crash. Each run defines a timeliness graph among correct processes: (p, q) is an e...
109
click to vote
TSP
2008
15 years 4 months ago
2008
This paper presents a new implementation of the YAST algorithm for principal and minor subspace tracking. YAST was initially derived from the Subspace Projection (SP) algorithm by ...
148
click to vote
ENTCS
2006
15 years 4 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
143
Voted
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
124
click to vote
IJON
2007
15 years 4 months ago
2007
In this paper we present a method of parameter optimization, relative trust-region learning, where the trust-region method and the relative optimization [21] are jointly exploited...