Login / Signup

Dependent Types with Subtyping and Late-Bound Overloading.

Giuseppe CastagnaGang Chen
Published in: Inf. Comput. (2001)
Keyphrases
  • upper bound
  • metadata
  • worst case
  • data sets
  • real world
  • genetic algorithm
  • social networks
  • reinforcement learning
  • lower bound
  • artificial neural networks