6 research outputs found
Index appearance record with preorders
Get PDFTransforming ω-automata into parity automata is traditionally done using appearance records. We present an efficient variant of this idea, tailored to Rabin automata, and several optimizations applicable to all appearance records. We compare the methods experimentally and show that our method produces significantly smaller automata than previous approaches
35th Symposium on Theoretical Aspects of Computer Science: STACS 2018, February 28-March 3, 2018, Caen, France
Get PDFBowdoin Orient v.115, no.1-27 (1985-1986)
Get PDFhttps://digitalcommons.bowdoin.edu/bowdoinorient-1980s/1006/thumbnail.jp
Usulan Perbaikan Jadwal Pengisian Kembali Persediaan untuk Produk Susu Kental Manis dengan Metode Heuristik Bebasis Repetitive Forward Rolling Techique
Get PDFCity of Meridian v. Petra Inc. Clerks\u27 Record v. 8 Dckt. 39006
Get PDFhttps://digitalcommons.law.uidaho.edu/idaho_supreme_court_record_briefs/4738/thumbnail.jp
