363 search results - page 40 / 73 » The SAT Phase Transition |
FOCS
2007
IEEE
15 years 4 months ago
2007
IEEE
We study the mixing time of some Markov Chains converging to critical physical models. These models are indexed by a parameter β and there exists some critical value βc where th...
ECAL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In human societies, facts are constructed through social consensus. Here, the formation of social institutions in such a society is studied using a multi-agent-based simu...
59
Voted
KES
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we present a method for finding general dependencies between individual agents in a multi-agent system. We use mutual information as the general measure for dependen...
EVOW
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes a novel representation and ordering model that, aided by an evolutionary algorithm, is used in solving the graph k-colouring problem. Its strength lies in redu...
ICRA
1998
IEEE
15 years 1 months ago
1998
IEEE
In this paper we address the problem of energyoptimal gait generation for biped robots. Using a simpli ed robot dynamics that ignores the e ects of centripetal forces, we obtain u...