Refined typing to localize the impact of forced strictness on free theorems.

Daniel Seidel Janis Voigtländer

Published in: Acta Informatica (2011)

Keyphrases

neural network
machine learning
pattern recognition
learning algorithm
decision making
image segmentation
three dimensional
bayesian networks
multiscale
multi agent
artificial neural networks
management system