Numerical Abstract Domain Using Support Functions.

Yassamine Seladji Olivier Bouissou

Published in: NASA Formal Methods (2013)

Keyphrases

databases
high level
domain independent
data sets
relational databases
neural network
real world
social networks
image sequences
semantic web technologies