132 search results - page 27 / 27 » Probabilistic Abstraction for Model Checking: An Approach Ba... |
CEC
2007
IEEE
14 years 22 days 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...
ECTEL
2007
Springer
14 years 17 days ago
2007
Springer
Abstract. The goal of the APOSDLE (Advanced Process-Oriented SelfDirected Learning environment) project is to support work-integrated learning of knowledge workers. We argue that w...