Minimization of resolution proof systems.

Zbigniew Stachniak

Published in: Fundam. Informaticae (1991)

Keyphrases

computer vision
machine learning
image processing
image sequences
distributed systems
complex systems
computational intelligence
computer systems
real time
artificial intelligence
image segmentation
objective function
hidden markov models
image quality