Inference - PDFSEARCH.IO - Document Search Engine

Inference
Results: 10251

#	Item
1	Automated Documentation Inference to Explain Failed Tests Sai Zhang1 Cheng Zhang2 Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34
2	Bayonet: Probabilistic Inference for Networks Timon Gehr Sasa Misailovic Petar Tsankov Add to Reading List Source URL: nsg.ee.ethz.ch Language: English - Date: 2018-04-26 04:15:58
3	1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Software engineering Formal methods Mathematical logic Type theory Theoretical computer science Type systems Edsger W. Dijkstra Predicate transformer semantics Extended static checking ESC/Java Type inference HindleyMilner type system
4	Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse Add to Reading List Source URL: cubicle.lri.fr Language: French - Date: 2014-11-05 08:01:04
5	Cataloging the Visible Universe through Bayesian Inference at Petascale Jeffrey Regier∗ , Kiran Pamnany† , Keno Fischer‡ , Andreas Noack§ , Maximilian Lam∗ , Jarrett Revels§ , Steve Howard¶ , Ryan Giordano¶ , Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-01-31 20:18:17 Observational astronomy Astronomy Parallel computing Bayesian network Sloan Digital Sky Survey Computing Bayesian inference Astronomical survey Gravitational lens Computer cluster
6	Membership Inference Attacks Against Machine Learning Models Reza Shokri Cornell Tech Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:58:56 Machine learning Artificial intelligence Learning Cognition Training test and validation sets CIFAR-10 Artificial neural network Support vector machine Deep learning Overfitting Geographic information system Neural architecture search
7	Graphical Inference for Infovis Hadley Wickham, Dianne Cook, Heike Hofmann, and Andreas Buja Fig. 1. One of these plots doesn’t belong. These six plots show choropleth maps of cancer deaths in Texas, where darker color Add to Reading List Source URL: vita.had.co.nz Language: English - Date: 2016-07-21 16:13:20 Statistical hypothesis testing Probability and statistics Statistics Statistical inference Null hypothesis Null distribution P-value Exploratory data analysis Alternative hypothesis Student's t-test Null Statistical significance
8	Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15
9	GRADUATE SEMINAR Yingjie Wei Inference for Functional Data Master Student supervised by Dr. Dianliang Deng Monday, April 2, 2018 Add to Reading List Source URL: www.uregina.ca - Date: 2018-03-13 17:25:41
10	Imitation Learning of Hierarchical Programs via Variational Inference Roy Fox * 1 Richard Shin * 1 Pieter Abbeel 1 Ken Goldberg 1 2 Dawn Song 1 Ion Stoica 1 The design of controllers that operate in dynamical systems to Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Artificial intelligence Computational neuroscience Machine learning Learning Artificial neural networks Market research Convolutional neural network Outline of machine learning MNIST database Supervised learning Variational Bayesian methods Bayesian network