Login / Signup

Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example.

Savas KonurMarian GheorgheCiprian DragomirFlorentin IpateNatalio Krasnogor
Published in: Fundam. Informaticae (2014)
Keyphrases
  • genetic algorithm
  • model checking
  • database
  • learning algorithm
  • case study
  • face recognition
  • similarity measure
  • multiscale
  • search algorithm
  • high resolution
  • formal verification