Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS.
Néstor CatañoPublished in: TPHOLs (2005)
Keyphrases
- learning algorithm
- detection algorithm
- worst case
- computational cost
- preprocessing
- dynamic programming
- computational complexity
- theoretical analysis
- particle swarm optimization
- np hard
- experimental evaluation
- simulated annealing
- improved algorithm
- times faster
- classification algorithm
- objective function
- cost function
- significant improvement
- k means
- search space
- optimal solution
- similarity measure
- bayesian networks
- source code
- computationally efficient
- segmentation algorithm
- optimization algorithm
- data sets
- matching algorithm
- convergence rate
- recognition algorithm