A Compendium of Continuous Lattices in MIZAR.

Grzegorz Bancerek Piotr Rudnicki

Published in: J. Autom. Reason. (2002)

Keyphrases

computer assisted
concept lattice
real world
genetic algorithm
computer vision
image processing
search algorithm
expert systems
artificial neural networks
multiresolution
dynamic programming
probabilistic model
continuous data