PostB: The Post-condition Extension onto the B-Method.
Shuaiqiang WangYing LiGuodong HuangPublished in: SERA (2007)
Keyphrases
- detection method
- computational cost
- optimization method
- objective function
- high precision
- preprocessing
- pairwise
- experimental evaluation
- theoretical analysis
- neural network
- clustering method
- error rate
- statistical model
- segmentation method
- main contribution
- classification method
- synthetic data
- support vector machine
- video sequences
- similarity measure