Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers.

Ralf Hinze Dan Marsden

Published in: J. Log. Algebraic Methods Program. (2016)

Keyphrases

active contours
active contour model
deformable models
image segmentation
curve evolution
energy minimization
b spline
decision making
gradient vector flow
object boundaries
artificial intelligence
multiresolution
image analysis
preprocessing
pattern recognition
deformable contour
external force