Algorithm 1.
Require: (p0, v0, s0) |
Ensure: a list P = [p0,...,pn] |
a list S = [s0,...,sn] |
i = 0 |
while terminating conditions are not met do |
vi+1 = Predict (pi+1, vi, si) |
pi+1 = Correct (vi, si) |
si+1 = Fit (pi+1, vi+1) |
i = i + 1 |
end while |
DetectBranches |