Practical Run-time Checking via Unobtrusive Property Caching.

Nataliia Stulova José F. Morales Manuel V. Hermenegildo

Published in: CoRR (2015)

Keyphrases

real world
case study
machine learning
learning algorithm
user interaction
ambient intelligence
desirable properties
databases
information retrieval
artificial intelligence
information extraction
intelligent systems
data access
consistency maintenance