363 search results - page 32 / 73 » The SAT Phase Transition |
JOT
2006
13 years 8 months ago
2006
This paper discusses the use of design patterns during the transition phase from analysis to design of object-oriented systems. Pattern mining, which is the process of finding and...
ECAL
2003
Springer
14 years 1 months ago
2003
Springer
This paper presents results of measuring evolution in a simple ALife system. Interpretation of these results is based on the notion of dynamical systems. This approach enables the ...
BC
2005
13 years 8 months ago
2005
Amesoscopicfield-theoreticapproachiscompared with neural network and brain imaging approaches to understanding brain dynamics. Analysis of high spatiotemporal resolution rabbit ele...
LPNMR
2007
Springer
14 years 2 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
AAAI
2004
13 years 10 months ago
2004
From a computational perspective, there is a close connection between various probabilistic reasoning tasks and the problem of counting or sampling satisfying assignments of a pro...