Login / Signup
Using Auxiliary Variables in Parallel Programs Verification.
Raymond R. Devillers
Guy Louchard
Published in:
International Computing Symposium (1977)
Keyphrases
</>
auxiliary variables
higher order
deformable models
graph cuts
model checking
computer vision
image processing
image analysis
high order