• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Type-based homeomorphic embedding for online termination.

Elvira AlbertJohn P. GallagherMiguel Gómez-ZamalloaGermá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