Sign in

Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis.

Elvira AlbertPuri ArenasSamir GenaimGermán Puebla
Published in: SAS (2008)
Keyphrases
  • upper bound
  • bayesian networks
  • lower bound
  • semantic relations
  • machine learning
  • database systems
  • model selection