363 search results - page 49 / 73 » The SAT Phase Transition |
HPCS
2006
IEEE
14 years 1 months ago
2006
IEEE
We address computational issues relevant to the study of disordered quantum mechanical systems at very low temperatures. As an example we consider the disordered BoseHubbard model...
ACRI
2006
Springer
14 years 1 months ago
2006
Springer
Cellular automata are discrete dynamical systems that are widely used to model natural systems. Classically they are run with perfect synchrony ; i.e., the local rule is applied to...
VISUAL
2005
Springer
14 years 27 days ago
2005
Springer
The paper describes a modular procedure for automatic correction of redeye artifact in images of unknown origin, maintaining the natural appearance of the eye. First, a smart color...
GECCO
2004
Springer
14 years 24 days ago
2004
Springer
In this paper, we present simple and genetic forms of an evolutionary paradigm known as a society of hill-climbers (SoHC). We compare these simple and genetic SoHCs on a test suite...
SETN
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Constructive methods obtain solutions to constraint satisfaction problem instances by iteratively extending consistent partial assignments. In this research, we study the...