Encoding the Factorisation Calculus.

Reuben N. S. Rowe

Published in: EXPRESS/SOS (2015)

Keyphrases

real time
machine learning
information retrieval
case study
database systems
data structure
variable length
encoding scheme
automated deduction
computer vision
search algorithm
data model
fractal image compression
provably correct