4150 search results - page 266 / 830 » A Practical Approach to Model Extension |
151
click to vote
AGI
2008
15 years 6 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
139
click to vote
MASCOTS
2003
15 years 6 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
163
click to vote
JMLR
2006
15 years 4 months ago
2006
We describe anytime search procedures that (1) find disjoint subsets of recorded variables for which the members of each subset are d-separated by a single common unrecorded cause...
144
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
162
Voted
JMLR
2002
15 years 4 months ago
2002
We examine the learning-curve sampling method, an approach for applying machinelearning algorithms to large data sets. The approach is based on the observation that the computatio...