An Automatic Interface Insertion Scheme for In-System Verification of Algorithm Models in C.
Chang-Jae ParkAndo KiIn-Cheol ParkChong-Min KyungPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2002)
Keyphrases
- learning algorithm
- dynamic programming
- times faster
- detection algorithm
- matching algorithm
- ant colony optimization
- objective function
- preprocessing
- optimization algorithm
- probabilistic model
- high accuracy
- classification algorithm
- theoretical analysis
- particle swarm optimization
- recognition algorithm
- np hard
- k means
- improved algorithm
- data sets
- polynomial time approximation
- computationally efficient
- graphical models
- worst case
- search algorithm
- optimal solution