A counterexample to a geometric Hales-Jewett type conjecture.

Vytautas Gruslys

Published in: J. Comput. Geom. (2014)

Keyphrases

real time
reinforcement learning
artificial neural networks
model checking
formal verification
databases
neural network
image processing
three dimensional
high level
similarity measure
data structure
computational complexity
expert systems
geometric constraints