16091 search results - page 179 / 3219 » Solving |
85
Voted
CIE
2006
Springer
15 years 7 months ago
2006
Springer
98
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
The synthesis of reactive systems requires the solution of two-player games on graphs with -regular objectives. When the objective is specified by a linear temporal logic formula o...
173
Voted
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
Requirements for educational software could be based on an analysis of existing learning situations. In order to obtain useful information about teaching practices, an explorative ...
128
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
A Genetic Algorithm, embedded in a simulation-based method, is applied to the identification of Asynchronous Finite State Machines. Two different coding schemes and their associat...