Formal analysis of HTM Spatial Pooler performance under predefined operation conditions.

Marcin Pietron Maciej Wielgosz Kazimierz Wiatr

Published in: CoRR (2016)

Keyphrases

formal analysis
agent model
formal methods
spatio temporal
sufficient conditions
spatial data
spatial information
spatial and temporal
spatial objects
neural network
information systems
spatial reasoning
ban logic