Isabelle Formalisation of Original Representation Theorems.

Marco B. Caminati

Published in: CICM (2023)

Keyphrases

case study
visual representation
genetic algorithm
image processing
database systems
image sequences
objective function
artificial neural networks
formal analysis