An Exercise in Proving Self-Stabilization with a Variant Function.

Joep L. W. Kessels

Published in: Inf. Process. Lett. (1988)

Keyphrases

wide range
dynamic programming
feature selection
case study
multiscale
objective function
data structure
expert systems
management system
piecewise linear