2233 search results - page 157 / 447 » On the Complexity of Theory Curbing |
151
click to vote
AIM
2006
15 years 7 months ago
2006
: Researchers in academia and practitioners in the field are concluding that object orientation (OO) supports well the stages of technical design and programming but not the stages...
161
click to vote
NIPS
2003
15 years 7 months ago
2003
We develop a framework based on Bayesian model averaging to explain how animals cope with uncertainty about contingencies in classical conditioning experiments. Traditional accoun...
142
click to vote
NIPS
2000
15 years 7 months ago
2000
In this paper, we derive a second order mean field theory for directed graphical probability models. By using an information theoretic argument it is shown how this can be done in...
180
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
144
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Maintaining diversity is important for the performance of evolutionary algorithms. Diversity mechanisms can enhance global exploration of the search space and enable crossover to ...