Algorithms for CTL System Modification.

Yulin Ding Yan Zhang

Published in: KES (2) (2005)

Keyphrases

significant improvement
computational cost
benchmark datasets
orders of magnitude
neural network
computational complexity
times faster
recently developed
learning algorithm
database systems
data structure
description logics
np complete
temporal logic
graph theory