A Formal Method for Building Concurrent Real-Time Software.
Colin J. FidgePeter KearneyMark UttingPublished in: IEEE Softw. (1997)
Keyphrases
- real time
- experimental evaluation
- detection method
- preprocessing
- optimization method
- similarity measure
- classification method
- high accuracy
- cost function
- dynamic programming
- vision system
- computationally efficient
- prior knowledge
- pairwise
- classification accuracy
- input data
- theoretical analysis
- segmentation algorithm
- clustering method
- synthetic data
- high precision