The two variable per inequality abstract domain.

Axel Simon Andy King

Published in: High. Order Symb. Comput. (2010)

Keyphrases

domain specific
low level
neural network
complex domains
higher level
knowledge representation
genetic algorithm
information retrieval
three dimensional
database systems
data structure
digital libraries
expert systems
information technology
image segmentation
decision making
domain ontology
data sets