Login / Signup
LRA Interpolants from No Man's Land.
Leonardo Alt
Antti E. J. Hyvärinen
Natasha Sharygina
Published in:
Haifa Verification Conference (2017)
Keyphrases
</>
computational geometry
urban land
databases
neural network
knowledge base
relational databases
parametric curves
real world
case study
multiscale
data structure
computer science
viewpoint
image data
management system