Hybrid and Incremental Modelchecking Techniques.

A. Prasad Sistla

Published in: ACM Comput. Surv. (1996)

Keyphrases

incremental learning
data sets
databases
evolutionary algorithm
incremental clustering
real time
learning algorithm
artificial intelligence
computer vision
data structure
data driven