A weak HOAS approach to the POPLmark Challenge

Alberto Ciaffaglione Ivan Scagnetto

Published in: LSFA (2012)

Keyphrases

real time
pattern recognition
viewpoint
data sets
decision making
case study
domain knowledge
weak signal