Login / Signup
Proving finite state machines correct with an automaton-based method.
Paolo Camurati
Marco Gilli
Paolo Prinetto
Matteo Sonza Reorda
Published in:
Great Lakes Symposium on VLSI (1991)
Keyphrases
</>
finite state machines
high precision
similarity measure
significant improvement
segmentation method
dynamic programming
synthetic data
computational cost
pairwise
databases
data sets
probabilistic model
data warehouse
support vector machine svm
preprocessing
computational complexity
decision trees