363 search results - page 40 / 73 » The SAT Phase Transition |
FOCS
2007
IEEE
14 years 2 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
14 years 2 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...
KES
2005
Springer
14 years 2 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
14 years 1 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
14 years 23 days 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...