11160 search results - page 413 / 2232 » Incompleteness in a General Setting |
175
click to vote
IFM
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
171
click to vote
AAAI
2010
15 years 8 months ago
2010
This paper introduces a principled approach for the design of a scalable general reinforcement learning agent. This approach is based on a direct approximation of AIXI, a Bayesian...
153
click to vote
COGSCI
2008
15 years 7 months ago
2008
We review current methods for evaluating models in the cognitive sciences, including theoretically-based approaches, such as Bayes Factors and MDL measures, simulation approaches,...
163
click to vote
EWC
2008
15 years 7 months ago
2008
The pre-processing stage of finite element analysis of the Navier-Stokes equations is becoming increasingly important as the desire for more general boundary conditions, as well a...
162
click to vote
NECO
2010
15 years 5 months ago
2010
In this paper we develop a novel generalization bound for learning the kernel problem. First, we show that the generalization analysis of the kernel learning problem reduces to in...