A Graphical Calculus.

Sharon Curtis Gavin Lowe

Published in: MPC (1995)

Keyphrases

image segmentation
database systems
data sets
decision making
image processing
case study
multiscale
evolutionary algorithm
hidden markov models
knowledge representation
proof procedure
type checking
algebraic structure
provably correct