Login / Signup

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types.

Sébastien CarlierJeff PolakowJ. B. WellsA. J. Kfoury
Published in: ESOP (2004)
Keyphrases
  • artificial intelligence
  • data sets
  • genetic algorithm
  • learning algorithm
  • computer vision
  • probabilistic model
  • random variables