An abstract machine based experimental system for a lazy narrowing calculus.

Maria Teresa Hortalá-González Eva Ullán

Published in: WFLP (2000)

Keyphrases

abstract machine
wide range
data sets
real world
data mining
case study
image sequences
formal language