Verification of Concurrent Objects with Asynchronous Method Calls.
Johan DovlandEinar Broch JohnsenOlaf OwePublished in: SwSTE (2005)
Keyphrases
- high precision
- detection method
- high accuracy
- preprocessing
- pairwise
- computational cost
- segmentation method
- experimental evaluation
- significant improvement
- cost function
- feature set
- input data
- support vector machine svm
- detection algorithm
- target object
- object segmentation
- object model
- keypoints
- multiple objects
- neural network
- synthetic data
- clustering method
- d objects
- artificial neural networks
- computational complexity
- objective function
- feature selection