Applying an Incremental Satisfiability Algorithm to Automatic Test Pattern Generation.
Guillermo De ItaMeliza ContrerasPedro BelloPublished in: Res. Comput. Sci. (2016)
Keyphrases
- learning algorithm
- k means
- computational complexity
- times faster
- experimental evaluation
- significant improvement
- incremental version
- single pass
- detection algorithm
- np hard
- preprocessing
- optimal solution
- search space
- improved algorithm
- computational cost
- optimization algorithm
- incremental algorithms
- similarity measure
- clustering method
- dynamic programming
- video sequences
- np complete
- theoretical analysis
- expectation maximization
- objective function
- input data
- matching algorithm
- incremental learning
- recognition algorithm
- data structure
- randomly generated
- face recognition
- neural network