A new algorithm for the determinisation of visibly pushdown automata.
Radomír PoláchJan TravnicekJan JanousekBorivoj MelicharPublished in: FedCSIS (2015)
Keyphrases
- worst case
- experimental evaluation
- improved algorithm
- detection algorithm
- estimation algorithm
- theoretical analysis
- experimental study
- k means
- preprocessing
- recognition algorithm
- classification algorithm
- cost function
- model checking
- times faster
- input data
- data sets
- particle swarm optimization
- selection algorithm
- matching algorithm
- clustering method
- maximum likelihood
- computationally efficient
- expectation maximization
- probabilistic model
- significant improvement
- evolutionary algorithm
- computational complexity
- support vector
- objective function
- similarity measure
- learning algorithm
- neural network