A Geometry of Interaction Machine for Gödel's System T.

Published in: WoLLIC (2017)

Keyphrases

human computer interaction
multiscale
decision trees
three dimensional
data sets
expert systems
user interaction
batch processing
learning algorithm
geometric constraints
geometric structure
human interaction
physical world