1088 search results - page 82 / 218 » A Bayesian Approach to Tackling Hard Computational Problems |
AIED
2005
Springer
14 years 4 months ago
2005
Springer
Today's computer supported modelling environments could provide much more information about the users’ actions and problem solving processes than they usually store for late...
NIPS
2007
13 years 11 months ago
2007
We construct a biologically motivated stochastic differential model of the neural and hemodynamic activity underlying the observed Blood Oxygen Level Dependent (BOLD) signal in Fu...
FLAIRS
2004
13 years 11 months ago
2004
Robots that can adapt and perform multiple tasks promise to be a powerful tool with many applications. In order to achieve such robots, control systems have to be constructed that...
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper we study the problem of solving hard propositional satisfiability problem (SAT) instances in a computing grid or cloud, where run times and communication b...
CCGRID
2007
IEEE
14 years 4 months ago
2007
IEEE
In the past, efficient parallel algorithms have always been developed specifically for the successive generations of parallel systems (vector machines, shared-memory machines, d...