An Exact Input Encoding Algorithm for BDDs Representing FSMs.
Wilsin GostiAlberto L. Sangiovanni-VincentelliTiziano VillaAlexander SaldanhaPublished in: Great Lakes Symposium on VLSI (1998)
Keyphrases
- input data
- computational complexity
- np hard
- expectation maximization
- linear programming
- high accuracy
- matching algorithm
- theoretical analysis
- particle swarm optimization
- dynamic programming
- significant improvement
- times faster
- improved algorithm
- optimal solution
- objective function
- bit string
- clustering method
- detection algorithm
- segmentation algorithm
- data sets
- worst case
- computational cost
- search algorithm
- learning algorithm
- computationally efficient
- ant colony optimization
- tree structure
- experimental evaluation
- k means
- recognition algorithm
- binary decision diagrams