Formal Analysis of HTM Spatial Pooler Performance Under Predefined Operation Conditions.

Marcin Pietron Maciej Wielgosz Kazimierz Wiatr

Published in: IJCRS (2016)

Keyphrases

formal analysis
formal methods
sufficient conditions
spatial information
spatial and temporal
spatio temporal
space time
spatial databases
spatial relations
agent model
databases
neural network
spatial data
spatial relationships
spatial distribution
spatial objects