1087 search results - page 31 / 218 » On Stabilization in Herman's Algorithm |
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents a method to deal the dynamic stability for a mobile manipulator. Although the system has static stability, manipulation on the moving base or mobile locomotion...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
EUSFLAT
2003
13 years 10 months ago
2003
A control of real processes requires different approach to neural network learning. The presented modification of backpropagation learning algorithm changes a meaning of learning...
FOGA
1994
13 years 10 months ago
1994
In the Infinite Population Simple Genetic Algorithm, stability of fixed points is considered when mutation is zero. The analysis is based on the spectrum of the differential of th...
ICDM
2006
IEEE
14 years 3 months ago
2006
IEEE
In spite of the initialization problem, the ExpectationMaximization (EM) algorithm is widely used for estimating the parameters in several data mining related tasks. Most popular ...