Proof of a conjecture about rotation symmetric functions.

Xiyong Zhang Hua Guo Rongquan Feng Yifa Li

Published in: Discret. Math. (2011)

Keyphrases

neural network
rotation invariant
functional language
website
theorem proving
real time
video sequences
invariant features
proof planning