Isabelle Formalisation of Original Representation Theorems.

Marco B. Caminati

Published in: CoRR (2023)

Keyphrases

image representation
feature representation
multiscale
theorem prover
database
databases
case study
reinforcement learning
learning environment
video sequences
expert systems
user interface