Automata: from logics to algorithms.
Moshe Y. VardiThomas WilkePublished in: Logic and Automata (2008)
Keyphrases
- orders of magnitude
- data structure
- computational cost
- theoretical analysis
- real time
- times faster
- benchmark datasets
- optimization problems
- modal logic
- computational efficiency
- machine learning algorithms
- computationally efficient
- significant improvement
- database systems
- case study
- clustering algorithm
- computer vision