Sign in

Towards Run-time Checks Simplification via Term Hiding.

Nataliia StulovaJosé F. MoralesManuel V. Hermenegildo
Published in: ICLP (Technical Communications) (2017)
Keyphrases
  • real time
  • multiresolution
  • neural network
  • artificial intelligence
  • database systems
  • preprocessing
  • hidden markov models
  • level set
  • text categorization