171 search results - page 35 / 35 » Hypervolume Approximation in Timed Automata Model Checking |
134
Voted
CEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...