Login / Signup
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