Login / Signup
Using Ghost Variables to Prove Refinement.
Monica Marcus
Amir Pnueli
Published in:
AMAST (1996)
Keyphrases
</>
real time
machine learning
e learning
pixel values
dynamic range
query refinement
refinement process
relevant variables