Complementing Büchi Automata with Ranker.
Vojtech HavlenaOndrej LengálBarbora SmahlíkováPublished in: CAV (2) (2022)
Keyphrases
- cellular automata
- finite automata
- learning to rank
- probabilistic automata
- regular expressions
- information gain
- lattice gas
- ranking scheme
- user feedback
- finite state
- tree automata
- turing machine
- finite state automata
- finite state machines
- search engine
- data sets
- finite automaton
- pattern matching
- information retrieval systems
- relevance feedback
- real time