2086 search results - page 182 / 418 » Mathematical Theory Exploration |
148
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
115
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents an algorithm for solving a number of generalized graph coloring problems. Specifically, it gives an agent-based algorithm for the Bandwidth Coloring problem. U...
134
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
A spanning tree of a graph such that each vertex in the tree has degree at most d is called a degree-constrained spanning tree. The problem of finding the degree-constrained spann...
185
click to vote
ECAL
1995
Springer
15 years 7 months ago
1995
Springer
A genetic algorithm scheme with a stochastic genotype/phenotype relation is proposed. The mechanisms responsible for this intermediate level of uncertainty, are inspired by the bio...
157
click to vote
AISB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A fundamental and unanalysed logical concept is substitution. This seemingly innocuous operation -- substituting a variable for a term or valuating a variable to an eleme...