5075 search results - page 212 / 1015 » Convergence |
164
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
177
click to vote
COLT
2000
Springer
15 years 11 months ago
2000
Springer
We give the first rigorous upper bounds on the error of temporal difference (td) algorithms for policy evaluation as a function of the amount of experience. These upper bounds pr...
153
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe a hybrid planar image-based servo algorithm which, for a simplified planar convex rigid body, converges to a static goal for all initial conditions within the workspac...
210
click to vote
COLT
1998
Springer
15 years 10 months ago
1998
Springer
A new algorithm for learning one-variable pattern languages is proposed and analyzed with respect to its average-case behavior. We consider the total learning time that takes into...
184
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
Antialiased pixel values are often computed as the mean of N point samples. Using uniformly distributed random samples, the central limit theorem predicts a variance of the mean o...