A Simple Proof of the Aztec Diamond Theorem.

Sen-Peng Eu Tung-Shan Fu

Published in: Electron. J. Comb. (2005)

Keyphrases

database
real time
digital libraries
machine learning
computer vision
decision trees
three dimensional
data structure
relational databases
user interface
hidden markov models
probabilistic model
theorem prover
provably correct