Login / Signup
A Type Inference System Based on Saturation of Subtyping Constraints.
Benoît Vaugon
Michel Mauny
Published in:
TFP (2016)
Keyphrases
</>
linear constraints
constraint satisfaction
constrained optimization
databases
neural network
computer vision
multiscale
multi agent systems
gray level
color image enhancement