Small-step and big-step semantics for call-by-need

Keiko Nakata Masahito Hasegawa

Published in: CoRR (2009)

Keyphrases

post processing
preprocessing step
machine learning
image segmentation
video sequences
expert systems
domain knowledge
data sources