Login / Signup
Lazy Abstraction with Interpolants for Arrays.
Francesco Alberti
Roberto Bruttomesso
Silvio Ghilardi
Silvio Ranise
Natasha Sharygina
Published in:
LPAR (2012)
Keyphrases
</>
high level
computational geometry
data abstraction
bayesian networks
real time
decision trees
multiscale
database
feature selection
database systems
search algorithm
state abstraction