5075 search results - page 212 / 1015 » Convergence |
129
click to vote
TPHOL
2000
IEEE
15 years 9 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...
144
Voted
COLT
2000
Springer
15 years 9 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...
131
click to vote
ICRA
1999
IEEE
15 years 9 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...
175
Voted
COLT
1998
Springer
15 years 9 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...
158
Voted
SIGGRAPH
1996
ACM
15 years 9 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...