Efficient Symbolic Algorithms for Computing the Minimum and Bounded Leakage States.
Kaviraj ChopraSarma B. K. VrudhulaPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2006)
Keyphrases
- computationally efficient
- computationally expensive
- computationally intensive
- graph theory
- efficient implementation
- highly efficient
- computational cost
- efficient solutions
- computational complexity
- significant improvement
- optimization problems
- deterministic finite automata
- data mining
- recently developed
- times faster
- theoretical analysis
- worst case
- semi supervised
- database systems
- high level
- computer vision
- learning algorithm