A combinatorial proof of the cyclic sieving phenomenon for faces of Coxeterhedra.
Sen-Peng EuTung-Shan FuYeh-Jong PanPublished in: J. Comb. Optim. (2013)
Keyphrases
- theorem proving
- theorem prover
- linear logic
- face recognition
- human faces
- face identification
- databases
- recognizing faces
- automated theorem proving
- multi agent
- clustering algorithm
- information systems
- real time
- data structure
- face images
- recognition rate
- line drawings
- three dimensional
- face recognition systems
- learning algorithm
- neural network