Login / Signup

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