The Inverse Method for the Logic of Bunched Implications.
Kevin DonnellyTyler GibsonNeel KrishnaswamiStephen MagillSungwoo ParkPublished in: LPAR (2004)
Keyphrases
- detection method
- image processing
- main contribution
- high precision
- experimental evaluation
- multiscale
- prior knowledge
- high accuracy
- clustering method
- synthetic data
- computational cost
- significant improvement
- computational complexity
- similarity measure
- segmentation method
- data sets
- verification method
- detection algorithm
- theoretical analysis
- principal component analysis
- k means
- feature vectors