Type-based homeomorphic embedding for online termination.

Elvira Albert John P. Gallagher Miguel Gómez-Zamalloa Germán Puebla

Published in: Inf. Process. Lett. (2009)

Keyphrases

type checking
online learning
real time
online algorithms
vector space
cross cultural
database
data sets
genetic algorithm
multiresolution
online communities