3038 search results - page 26 / 608 » Controlling Engineering Problem Solving |
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
While recent attempts to search a conceptual software engineering design search space with multi-objective evolutionary algorithms have yielded promising results, the practical ap...
HYBRID
2010
Springer
13 years 11 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
IEAAIE
2001
Springer
14 years 1 months ago
2001
Springer
: This paper describes a knowledge model for a configuration problem in the domain of traffic control. The goal of this model is to help traffic engineers in the dynamic selection ...
FSTTCS
2008
Springer
13 years 10 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
BIRTHDAY
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...