Placement of multimedia blocks on zoned disks
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
The problem of complementing Büchi automata arises when developing decision procedures for temporal logics of programs. Unfortunately, previously known constructions for complementing Büchi automata involve a doubly exponential blow-up in the size of the automaton. We present a construction that involves only an exponential blow-up. We use this construction to prove a polynomial space upper bound for the propositional temporal logic of regular events and to prove a complexity hierarchy result for quantified propositional temporal logic. © 1987.
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
Inbal Ronen, Elad Shahar, et al.
SIGIR 2009
Leo Liberti, James Ostrowski
Journal of Global Optimization
Xiaozhu Kang, Hui Zhang, et al.
ICWS 2008