An efficient fuzzy unification method and its implementation into the Bousi~Prolog system.
Pascual Julián IranzoClemente Rubio-ManzanoPublished in: FUZZ-IEEE (2010)
Keyphrases
- high precision
- cost function
- computationally efficient
- logic programming
- preprocessing
- segmentation method
- similarity measure
- theorem proving
- synthetic data
- higher order
- computational cost
- experimental evaluation
- dynamic programming
- computational complexity
- probabilistic model
- support vector machine
- fuzzy logic
- high accuracy
- programming language
- markov random field
- input data
- detection algorithm
- significant improvement
- prior knowledge
- data sets