Login / Signup

Memories: array-like records for ACL2.

Jared Davis
Published in: ACL2 (2006)
Keyphrases
  • databases
  • natural language learning
  • database
  • image processing
  • record linkage
  • neural network
  • decision trees
  • search algorithm
  • association rules
  • programmable logic
  • covering arrays
  • content addressable