3552 search results - page 631 / 711 » Proof theory in the abstract |
154
click to vote
ESAW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. If we are to enable agents to handle increasingly greater levels of complexity, it is necessary to equip them with mechanisms that support greater degrees of autonomy. Th...
155
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Bloat is a common and well studied problem in genetic programming. Size and depth limits are often used to combat bloat, but to date there has been little detailed explor...
165
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The parameter-less hierarchical Bayesian optimization algorithm (hBOA) enables the use of hBOA without the need for tuning parameters for solving each problem instance. T...
150
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Graph constraints and application conditions are most important for graph grammars and transformation systems in a large variety of application areas. Although different...
164
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...