A Systematic Method for Designing Abstract Narrowing Machines.
Hendrik C. R. LockPublished in: Declarative Programming (1991)
Keyphrases
- significant improvement
- dynamic programming
- main contribution
- prior knowledge
- computational cost
- high precision
- clustering method
- experimental evaluation
- support vector machine
- fully automatic
- neural network
- synthetic data
- detection method
- theoretical analysis
- mutual information
- preprocessing
- computational complexity
- objective function
- edge detection
- optical flow
- artificial neural networks
- experimental study
- mathematical model
- similarity measure
- machine learning