1126 search results - page 137 / 226 » Modularity and the Rule of Adaptation |
97
Voted
ANOR
2005
15 years 13 days ago
2005
Column generation has become a powerful tool in solving large scale integer programs. It is well known that most of the often reported compatibility issues between pricing subprobl...
90
Voted
CORR
2004
Springer
15 years 11 days ago
2004
Springer
Some recent studies have pointed that , the self-organization of neurons into brain-like structures, and the self-organization of ants into a swarm are similar in many respects. I...
AROBOTS
1999
15 years 6 days ago
1999
We present a framework for constructing representations of space in an autonomous agent which does not obtain any direct information about its location. Instead the algorithm relie...
103
Voted
LOGCOM
2002
15 years 6 days ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...
89
Voted
LOGCOM
2010
14 years 11 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...