Algorithms for Inferring Register Automata - A Comparison of Existing Approaches.
Fides AartsFalk HowarHarco KuppensFrits W. VaandragerPublished in: ISoLA (1) (2014)
Keyphrases
- computer vision
- optimization problems
- times faster
- alternative approaches
- data structure
- computational cost
- theoretical analysis
- machine learning algorithms
- machine learning
- machine learning approaches
- data mining algorithms
- significant improvement
- computationally efficient
- markov chain
- combinatorial optimization
- recently developed
- search methods
- graph theory
- data sets
- exact algorithms
- statistical approaches
- algorithmic approaches