Mining Unreachable Cross-Timeframe State-Pairs for Bounded Sequential Equivalence Checking.

Chia-Ling Lynn Chang Charles H.-P. Wen

Published in: MTV (2008)

Keyphrases

data mining
decision trees
social networks
expert systems
knowledge discovery
text mining
logic programming
web mining
pattern mining
mining algorithm