Implementing a cost-aware evaluator for ACL2 expressions.

Ruben Gamboa John R. Cowles

Published in: ACL2 (2006)

Keyphrases

high cost
real time
natural language
efficient implementation
storage space
face recognition
multi agent
video sequences
evolutionary algorithm
total cost
minimum cost
minimal cost