Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction.

Hariolf Betz Thom W. Frühwirth

Published in: ACM Trans. Comput. Log. (2013)

Keyphrases

automatic analysis
statistical analysis
website
database systems
high speed
hidden markov models
preprocessing
quantitative analysis
probability distribution
image analysis
trade off
neural network
digital libraries
support vector
data structure
wide range
knowledge base
social networks