Decomposition Lemmas.

Mark Korenblit Vadim E. Levit

Published in: CoRR (2013)

Keyphrases

decomposition method
theorem prover
decomposition algorithm
neural network
machine learning
artificial intelligence
decision making
image processing
case study
image sequences
special case
decomposition methods
hierarchical decomposition