Distributive Full Lambek Calculus Has the Finite Model Property.

Published in: Stud Logica (2009)

Keyphrases

probabilistic model
mathematical model
computational model
similarity measure
data sets
statistical model
probability distribution
cost function
theoretical analysis
real numbers
neural network model
experimental data
artificial neural networks
expert systems
multiscale
image segmentation
data mining