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

Adventures in monitorability: from branching to linear time and back again.

Luca AcetoAntonis AchilleosAdrian FrancalanzaAnna IngólfsdóttirKaroliina Lehtinen
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases
  • search tree
  • worst case
  • branch and bound
  • simple polygon
  • artificial intelligence
  • learning algorithm
  • decision making
  • case study
  • image sequences
  • digital libraries