Non-disjunctive Numerical Domain for Array Predicate Abstraction.

Xavier Allamigeon

Published in: ESOP (2008)

Keyphrases

domain specific
domain independent
data sets
multiscale
linear array
sensitivity analysis
image sequences
bayesian networks
decision trees
search algorithm
metadata
knowledge base
e learning
answer sets
complex domains
datalog programs
learning algorithm