Login / Signup

On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CA.

Sergei Tupailo
Published in: LPAR (1994)
Keyphrases
  • theoretical analysis
  • cellular automata
  • genetic algorithm
  • data sets
  • information retrieval
  • knowledge base
  • image sequences
  • objective function
  • search algorithm
  • numerical simulations