Towards a Verified STM.

Liyang Hu Graham Hutton

Published in: Trends in Functional Programming (2008)

Keyphrases

real time
short term memory
reinforcement learning
working memory
machine learning
database
decision making
knowledge base
metadata
image segmentation
face recognition
expert systems
collaborative learning