Work Analysis with Resource-Aware Session Types.

Ankush Das Jan Hoffmann Frank Pfenning

Published in: LICS (2018)

Keyphrases

neural network
search engine
multimedia
data analysis
mobile robot
data sets
data mining
learning algorithm
optimal solution
digital libraries
feature space
control system
statistical analysis
microarray
automatic analysis