Single-Threaded Objects in ACL2.

Robert S. Boyer J Strother Moore

Published in: PADL (2002)

Keyphrases

computer vision
d objects
neural network
genetic algorithm
multi agent
content analysis
partial occlusion
object segmentation
digital objects
individual objects
natural language learning