J–Machine

Results: 754



#Item
271Computability theory / Artificial intelligence / Turing machine / Algorithmic information theory / Ray Solomonoff / Kolmogorov complexity / Algorithmic probability / Universal Turing machine / Inductive inference / Theoretical computer science / Applied mathematics / Theory of computation

Algorithmic Probability — Its Discovery — Its Properties and Application to Strong AI Ray J. Solomonoff Visiting Professor, Computer Learning Research Centre Royal Holloway, University of London IDSIA, Galleria 2, CH

Add to Reading List

Source URL: world.std.com

Language: English - Date: 2014-07-03 19:23:23
272Automated theorem proving / Proof theory / Mathematical proofs / Logical syntax / First-order logic / Proof assistant / Theorem / Isabelle / Natural deduction / Logic / Mathematics / Mathematical logic

J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka ·

Add to Reading List

Source URL: www21.in.tum.de

Language: English - Date: 2015-01-25 16:18:54
273Artificial intelligence / Cybernetics / Probability and statistics / Neural networks / Ray Solomonoff / Algorithmic information theory / Artificial neural network / Genetic algorithm / Inductive inference / Applied mathematics / Mathematics / Theoretical computer science

Machine Learning — Past and Future Ray J. Solomonoff Visiting Professor, Computer Learning Research Center Royal Holloway, University of London IDSIA, Galleria 2, CH–6928 Manno–Lugano, Switzerland

Add to Reading List

Source URL: world.std.com

Language: English - Date: 2014-07-03 19:24:36
274Statistics / Statistical inference / Probability interpretations / Algorithmic information theory / Cybernetics / Ray Solomonoff / Algorithmic probability / Inductive inference / Kolmogorov complexity / Science / Artificial intelligence / Knowledge

THE UNIVERSAL DISTRIBUTION AND MACHINE LEARNING Ray J. Solomonoff Visiting Professor, Computer Learning Research Center Royal Holloway, University of London IDSIA, Galleria 2, CH–6928 Manno–Lugano, Switzerland

Add to Reading List

Source URL: world.std.com

Language: English - Date: 2014-09-18 21:25:35
275Learning / Artificial intelligence / Ensemble learning / Pruning / Naive Bayes classifier / Classifier / Random subspace method / AdaBoost / Statistics / Machine learning / Statistical classification

Minimal Cost Complexity Pruning of Meta-Classifiers Andreas L. Prodromidis Salvatore J. Stolfo Department of Computer Science Columbia University

Add to Reading List

Source URL: idm-lab.org

Language: English - Date: 2005-05-31 06:09:24
276Artificial intelligence / Ray Solomonoff / Computational complexity theory / Inductive reasoning / Reduction / Problem of induction / Science / Knowledge / Epistemology

TR IDSIA–16–03, revision 2.0; 30 October 2003 Progress In Incremental Machine Learning Ray J. Solomonoff

Add to Reading List

Source URL: world.std.com

Language: English - Date: 2014-09-18 21:26:32
277Multivariate statistics / Data analysis / Data mining / Clustering high-dimensional data / K-means clustering / Spectral clustering / Hierarchical clustering / Principal component analysis / Kernel principal component analysis / Statistics / Cluster analysis / Machine learning

A Single-Pass Algorithm for Efficiently Recovering Sparse Cluster Centers of High-dimensional Data Jinfeng Yi IBM Thomas J. Watson Research Center, Yorktown Heights, NY 10598, USA

Add to Reading List

Source URL: jmlr.org

Language: English - Date: 2015-02-01 17:03:30
278Computability theory / Descriptive complexity / Kolmogorov complexity / Kullback–Leibler divergence / Universal Turing machine / Normalizing constant / Theoretical computer science / Statistics / Applied mathematics

The Probability of “Undefined” (Non–Converging) Output in Generating the Universal Probability Distribution Ray J. Solomonoff Visiting Professor, Computer Learning Research Centre Royal Holloway, University of Lond

Add to Reading List

Source URL: world.std.com

Language: English - Date: 2014-09-18 21:27:10
279Science / Distance education / Ubiquitous computing / Concept drift / Data stream mining / Ambient intelligence / Activity recognition / E-learning / Machine learning / Education / Data mining / Artificial intelligence

Chapter 2 Research Challenges in Ubiquitous Knowledge Discovery Michael May, Bettina Berendt, Antoine Cornu´ ejols, J˜ oao Gama,

Add to Reading List

Source URL: www.lri.fr

Language: English - Date: 2013-11-15 13:15:46
280Influenza / Microbiology / Zoonoses / Epidemiology / Anthrax / Clinical surveillance / Bioterrorism / Pandemic / Health / Biology / Medicine

Machine Learning for Population Health and Disease Surveillance Daniel B. Neill, Ph.D. H.J. Heinz III College Carnegie Mellon University E-mail:

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2011-05-20 15:48:42
UPDATE