Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.
Tsvetomir P. PetrovAnna PogosyantsStephen J. GarlandVictor LuchangcoNancy A. LynchPublished in: FORTE (1996)
Keyphrases
- computer assisted
- detection algorithm
- improved algorithm
- theoretical analysis
- significant improvement
- computational complexity
- dynamic programming
- np hard
- optimal solution
- high accuracy
- experimental evaluation
- computer aided
- worst case
- search space
- learning algorithm
- cost function
- preprocessing
- particle swarm optimization
- objective function
- optimization algorithm
- similarity measure
- machine learning
- linear programming
- bayesian networks
- tree structure
- image segmentation
- times faster
- recognition algorithm