Login / Signup
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