A Type System for Optimization Verifying Compilers.
Yutaka MatsunoHiroyuki SatoPublished in: Inf. Media Technol. (2006)
Keyphrases
- programming language
- optimization algorithm
- hardware and software
- global optimization
- discrete optimization
- low cost
- optimization problems
- optimization process
- database
- computer science
- image segmentation
- computer systems
- image processing
- optimization method
- artificial intelligence
- optimization methods
- machine learning
- constrained optimization
- optimization model
- optimal design
- joint optimization