Inference - PDFSEARCH.IO - Document Search Engine

Inference
Results: 10251

#	Item
441	Microsoft Word - Mark_Glickman_120702_D1.doc Add to Reading List Source URL: www.glicko.net Language: English - Date: 2012-05-18 08:04:14 Statistics Statistical theory Chess rating systems Philosophy of science Statistical inference Glicko rating system Statistical models Rating system Bayesian Chess Model selection United States Chess Federation
442	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
443	A Unified Framework for Human-Robot Knowledge Transfer Nishant Shukla, Caiming Xiong and Song-Chun Zhu Center for Vision, Cognition, Learning and Autonomy University of California, Los Angeles, USA Abstract Add to Reading List Source URL: shukla.io Language: English - Date: 2015-09-05 12:28:33 Logic Philosophy Reasoning Epistemology Robotics Causality Conditionals Philosophy of science Knowledge Inference Humanrobot interaction Machine learning
444	New PDE-based methods for image enhancement using SOM and Bayesian inference Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2010-02-04 13:02:32 Calculus Mathematical analysis Image processing Partial differential equations Mathematics Anisotropic diffusion Diffusion equation Finite element method Image segmentation Differential equation Heat equation Diffusion
445	AAAI Proceedings Template Add to Reading List Source URL: silccenter.org Language: English - Date: 2010-05-05 12:28:41 Reasoning Logic Cognition Philosophy Qualitative reasoning Spatialtemporal reasoning Qualitative Reasoning Group Ken Forbus Analogy Causality Reason Inference
446	High Confidence Off-Policy Evaluation Philip S. Thomas1,2 1 Georgios Theocharous1 Add to Reading List Source URL: psthomas.com Language: English - Date: 2014-11-20 19:54:13 Statistics Measurement Statistical theory Estimation theory Probability distributions Statistical inference Confidence interval Allan variance Concentration inequality Bias of an estimator Normal distribution
447	CHAPTER Credibility: Evaluating What’s Been Learned 5 Add to Reading List Source URL: aml.media.mit.edu Language: English - Date: 2011-11-03 19:34:10 Statistics Machine learning Artificial intelligence Learning Statistical inference Cross-validation Bootstrapping Test set Overfitting Statistical classification Pruning Validation
448	From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-25 08:22:18 Logic Mathematical logic Proof theory Sequent Rule of inference Natural deduction Propositional calculus Deep inference Theorem Intuitionistic logic Formal proof Inference
449	Optimal Design of Experiments on Social Networks Steven Gilmour1 , Ben Parker1 , John Schormans2 1 University of Southampton; 2 Queen Mary, University of London MoN Meeting 2013 Add to Reading List Source URL: www.monmeetings.org Language: English - Date: 2015-09-04 10:25:03 Design of experiments Statistics Knowledge Science Experiments Causal inference Online chat Text messaging Causality
450	Scalad: An Interactive Type-level Debugger Hubert Plociniczak École Polytechnique Fédérale de Lausanne {first.last}@epfl.ch Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Software engineering Computing Computer programming Type theory Data types Functional languages Procedural programming languages Cross-platform software Type inference Scala Covariance and contravariance Type system

UPDATE