1414 search results - page 125 / 283 » Randomness and Universal Machines |
ICALT
2010
IEEE
13 years 11 months ago
2010
IEEE
Multi-user virtual environments (MUVEs) seem to have great potential in education. Current educational uses of MUVEs seem to exploit them more as group interaction platforms and le...
ML
2006
ACM
13 years 10 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
JIFS
2002
13 years 9 months ago
2002
A novel way to simulate Turing Machines (TMs) by Artificial Neural Networks (ANNs) is proposed. We claim that the proposed simulation is in agreement with the correct interpretatio...
ML
2007
ACM
13 years 9 months ago
2007
ACM
We describe a novel framework for the design and analysis of online learning algorithms based on the notion of duality in constrained optimization. We cast a sub-family of universa...
ICMLA
2009
13 years 7 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...