A Modular Way to Reason About Iteration.

Jean-Christophe Filliâtre Mário Pereira

Published in: NFM (2016)

Keyphrases

modular structure
neural network
image processing
objective function
genetic algorithm
artificial intelligence
e learning
knowledge base
feature extraction
similarity measure
mobile devices
special case
missing data
iterative process
modular architecture