Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines.
Srinivas DevadasHi-Keung Tony MaA. Richard NewtonAlberto L. Sangiovanni-VincentelliPublished in: ITC (1988)
Keyphrases
- optimization algorithm
- optimization process
- optimization problems
- constrained optimization
- artificial intelligence
- control system
- special case
- support vector machine
- facial expressions
- design solutions
- machine intelligence
- texture synthesis
- combinatorial optimization
- optimization method
- database
- expert systems
- genetic algorithm
- machine learning
- databases