Login / Signup
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