5205 search results - page 686 / 1041 » Tilings and model theory |
172
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
190
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
178
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a theoretical definition for designing EDAs called Elitist Convergent Estimation of Distribution Algorithm (ECEDA), and a practical implementation: the Boltzm...
202
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
With the ever expanding Web and the information published on it, effective tools for managing such data and presenting information to users based on their needs are becoming nece...
168
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...