Login / Signup
Interpolation Method for Multicomponent Sequent Calculi.
Roman Kuznets
Published in:
LFCS (2016)
Keyphrases
</>
interpolation method
sequent calculi
interpolation methods
image interpolation
conditional logic
modal logic
edge directed
interpolation algorithm
cut elimination
linear interpolation
edge direction
spatial interpolation
pixel values
sufficient conditions
similarity measure
co occurrence
image data