Binary Session Types for Psi-Calculi.

Published in: APLAS (2016)

Keyphrases

information retrieval
multi class
database
real time
neural network
machine learning
artificial intelligence
decision trees
case study
multiscale
digital libraries