Sciweavers

31 search results - page 2 / 7
» Computing the Noncomputable
Sort
View
MCU
2007
95views Hardware» more  MCU 2007»
13 years 6 months ago
Slightly Beyond Turing's Computability for Studying Genetic Programming
Inspired by genetic programming (GP), we study iterative algorithms for non-computable tasks and compare them to naive models. This framework justifies many practical standard tri...
Olivier Teytaud
IFIPTCS
2010
13 years 3 months ago
Traceable Sets
Abstract. We investigate systematically into the various possible notions of traceable sets and the relations they bear to each other and to other notions such as diagonally noncom...
Rupert Hölzl, Wolfgang Merkle
ROBOCUP
1998
Springer
98views Robotics» more  ROBOCUP 1998»
13 years 9 months ago
A User Oriented System for Developing Behavior Based Agents
Developing agents for simulation environments is usually the responsibility of computer experts. However, as domain experts have superior knowledge of the intended agent behavior, ...
Paul Scerri, Silvia Coradeschi, Anders Törne
JMLR
2010
92views more  JMLR 2010»
13 years 4 days ago
Posterior distributions are computable from predictive distributions
As we devise more complicated prior distributions, will inference algorithms keep up? We highlight a negative result in computable probability theory by Ackerman, Freer, and Roy (...
Cameron E. Freer, Daniel M. Roy
CSR
2007
Springer
13 years 9 months ago
On Empirical Meaning of Randomness with Respect to a Real Parameter
We study the empirical meaning of randomness with respect to a family of probability distributions P, where is a real parameter, using algorithmic randomness theory. In the case w...
Vladimir V. V'yugin