Login / Signup
Folds with Dependent Types.
Jan-Li Lin
Published in:
APLAS (2002)
Keyphrases
</>
database systems
computer vision
image sequences
feature extraction
multi agent
object recognition
preprocessing
association rules
relational databases
email
evolutionary algorithm
multiresolution
mobile robot
multiple types