Login / Signup
Reconstruction Proofs at the Assertion Level.
Xiaorong Huang
Published in:
CADE (1994)
Keyphrases
</>
artificial intelligence
real time
three dimensional
higher level
data sets
high resolution
theorem proving
levels of abstraction
data mining
machine learning
computer vision
image reconstruction
lower level
formal proofs