Towards Run-time Checks Simplification via Term Hiding.

Nataliia Stulova José F. Morales Manuel 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