Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context.
Theodosis DimitrakosJuan BicarreguiBrian MatthewsT. S. E. MaibaumPublished in: ZB (2000)
Keyphrases
- viewpoint
- pairwise
- detection method
- significant improvement
- experimental evaluation
- main contribution
- mutual information
- neural network
- optimization method
- high precision
- evaluation method
- matching algorithm
- synthetic data
- error rate
- clustering method
- optimization algorithm
- computationally efficient
- edge detection
- computational cost
- dynamic programming
- cost function
- object recognition
- objective function
- similarity measure