Inference - PDFSEARCH.IO - Document Search Engine

Inference
Results: 10251

#	Item
11	Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computer programming Software engineering Infinite loop Recursion Software development Software testing Java Extreme programming
12	PSI: Exact Symbolic Inference for Probabilistic Programs Timon Gehr1 , Sasa Misailovic1,2 , and Martin Vechev1 1 2 Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:02 Mathematical analysis Probability theory Statistical theory Graphical models Normal distribution Infinitely divisible probability distributions Bayesian statistics Bayesian network Substitution Variational Bayesian methods Exponential family Dirac delta function
13	Integrating Theories into Inference Systems DIPLOMARBEIT zur Erlangung des akademischen Grades Diplom-Ingenieur/in Add to Reading List Source URL: www.logic.at Language: English - Date: 2011-04-15 18:12:26 Mathematical logic Logic Theoretical computer science Automated theorem proving Proof theory Logic programming Logic in computer science Type theory Unification Uninterpreted function Equational logic Variety
14	Identifying Personal DNA Methylation Profiles by Genotype Inference Michael Backes∗ , Pascal Berrang∗ , Matthias Bieg† , Roland Eils†‡ , Carl Herrmann†‡ , Mathias Humbert∗ , Irina Lehmann§ ∗ CISPA, Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:58:30 Genetics Biology Epigenetics DNA Genomics Molecular biology Genetic mapping DNA methylation Bisulfite sequencing Methylation CpG site Bayesian tool for methylation analysis
15	KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical logic Logic Type theory Theoretical computer science Logic in computer science Automated theorem proving Reasoning Program analysis Natural deduction Logical framework Resolution First-order logic
16	On the Quality of BGP Route Collectors for iBGP Policy Inference Luca Cittadini∗ Stefano Vissicchio† Benoit Donnet§ ∗ Roma Tre University † Universit´e catholique de Louvain § Universit´e de Li`ege Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Internet architecture Routing Computing Network architecture Internet Internet Standards Border Gateway Protocol Route reflector Router IP routing Autonomous system Default-free zone
17	Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607 Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2015-11-01 13:02:43 Search algorithms Routing algorithms Combinatorial optimization Mathematics Information science Information retrieval Game artificial intelligence A* search algorithm Heuristic Bayesian network Dijkstra's algorithm Algorithm
18	LoopInvGen: Data-Driven Loop Invariant Inference using Learned Features SyGuS-COMPSaswat Padhi Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Formal methods I0 Loop invariant
19	Automatic Inference of Memory Fences Michael Kuperstein Martin Vechev Eran Yahav Add to Reading List Source URL: practicalsynthesis.github.io Language: English - Date: 2018-01-15 09:26:26 Computing Computer architecture Computer memory Transaction processing Theoretical computer science Memory barrier Consistency model Memory ordering Model theory Algorithm Formal language Constraint
20	Haptic SLAM: an ideal observer model for Bayesian inference of object shape and hand pose from contact dynamics Feryal M. P. Behbahani1 , Guillem Singla–Buxarrais2 and A. Aldo Faisal1,2,3 1 Add to Reading List Source URL: spiral.imperial.ac.uk Language: English - Date: 2016-09-08 00:46:08 Humancomputer interaction Artificial intelligence Robot control Virtual reality Multimodal interaction Video game controllers Robot navigation Haptic technology Haptic perception Simultaneous localization and mapping Occupancy grid mapping Kalman filter