Incremental Verification of Computing Policies.

Ehab S. Elmallah Hrishikesh B. Acharya Mohamed G. Gouda

Published in: SSS (2014)

Keyphrases

data sets
incremental learning
data driven
verification method
database
databases
artificial intelligence
decision making
case study
knowledge acquisition
optimal policy
face verification
formal analysis