Automatic trace analysis for logic of constraints.

Xi Chen Harry Hsieh Felice Balarin Yosinori Watanabe

Published in: DAC (2003)

Keyphrases

quantitative analysis
automatic analysis
real time
information systems
data analysis
statistical analysis
database
decision trees
image sequences
association rules
evolutionary algorithm
data driven