Login / Signup

A Type Inference System Based on Saturation of Subtyping Constraints.

Benoît VaugonMichel 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