Login / Signup
Lazy Abstraction with Interpolants.
Kenneth L. McMillan
Published in:
CAV (2006)
Keyphrases
</>
high level
information technology
lazy learning
decision theoretic planning
image processing
database
databases
neural network
data mining
website
artificial neural networks
computational geometry
state abstraction
parametric curves