A Type System Describing Unboundedness.

Published in: Discret. Math. Theor. Comput. Sci. (2020)

Keyphrases

object recognition
learning algorithm
data analysis
mobile robot
data sets
e learning
bayesian networks
cooperative
support vector
type checking