Dependent Type Refinements for Futures.

Siva Somayyajula Frank Pfenning

Published in: CoRR (2023)

Keyphrases

real time
data sets
genetic algorithm
image segmentation
feature extraction
database
neural network
feature selection
e learning
multimedia
image sequences
preprocessing
relational databases