Open AccessReasoning about Online Algorithms with Weighted Automata
Author(s) -
Benjamin Aminof,
Orna Kupferman,
Robby Lampert
Publication year - 2009
Publication title -
proceedings of the twentieth annual acm-siam symposium on discrete algorithms
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1137/1.9781611973068.91
Subject(s) - automaton , computer science , algorithm , online algorithm , competitive analysis , determinism , code (set theory) , theoretical computer science , artificial intelligence , programming language , mathematics , upper and lower bounds , physics , mathematical analysis , set (abstract data type) , quantum mechanics