A New Efficient Simulation Equivalence Algorithm.
Francesco RanzatoFrancesco TapparoPublished in: LICS (2007)
Keyphrases
- detection algorithm
- dynamic programming
- single pass
- optimization algorithm
- learning algorithm
- times faster
- computational complexity
- improved algorithm
- computational cost
- high accuracy
- path planning
- tree structure
- mathematical model
- computationally efficient
- memory requirements
- linear programming
- cost function
- k means
- estimation algorithm
- objective function
- worst case
- experimental evaluation
- data sets
- theoretical analysis
- segmentation algorithm
- optimal solution
- monte carlo
- matching algorithm
- recognition algorithm
- selection algorithm
- computationally intensive
- np complete
- clustering method
- input data
- support vector machine
- probabilistic model
- search space
- data streams
- data structure
- neural network