Probabilistic programming language - PDFSEARCH.IO - Document Search Engine

Probabilistic programming language
Results: 19

#	Item
1	Figaro: An Object-Oriented Probabilistic Programming Language Avi Pfeffer Charles River Analytics Add to Reading List Source URL: www.cs.tufts.edu - Date: 2009-09-21 22:35:07
2	Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-04-14 05:42:43 Computing Artificial intelligence Machine learning Graphical models Structured prediction Computational statistics Statistical classification Conditional random field Probabilistic programming language Inference Artificial neural network Support vector machine
3	Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:43:37 Theoretical computer science Mathematics Mathematical logic Logic in computer science Programming language semantics Measure theory Boolean algebra Probability theory Denotational semantics Predicate transformer semantics Sigma-algebra PP
4	Picture: A Probabilistic Programming Language for Scene Perception Tejas D Kulkarni MIT Pushmeet Kohli Microsoft Research Add to Reading List Source URL: mrkulk.github.io Language: English - Date: 2015-04-14 02:50:22
5	Stan: A probabilistic programming language for Bayesian inference and optimization∗ Andrew Gelman† Daniel Lee† Add to Reading List Source URL: www.stat.columbia.edu Language: English - Date: 2015-10-26 02:53:58
6	In Defense of Probabilistic Static Analysis Shuvendu K. Lahiri Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-24 19:21:12 Software engineering Type theory Pointer Static single assignment form Statistical power Causality Datalog Null Programming language theory Computing Data types
7	N e w Figures of Merit for Best-First Probabilistic Chart Parsing Sharon A. Caraballo* Eugene Chamiak* Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 20:19:04 Software engineering Grammar Formal grammar Context-free grammar Parsing Chart parser Terminal and nonterminal symbols LL parser LR parser Formal languages Compiler construction Programming language implementation
8	PROST: Probabilistic Planning Based on UCT Thomas Keller and Patrick Eyerich Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-Allee[removed]Freiburg, Germany Add to Reading List Source URL: gki.informatik.uni-freiburg.de Language: English - Date: 2012-05-24 10:56:58 Stochastic control S0 Markov decision process Planning Domain Definition Language Reinforcement learning Automated planning and scheduling Bellman equation Temporal difference learning Tree Statistics Dynamic programming Markov processes
9	Dependency Parsing for Weibo: An Efficient Probabilistic Logic Programming Approach William Yang Wang, Lingpeng Kong, Kathryn Mazaitis, William W. Cohen Language Technologies Institute & Machine Learning Department Carne Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-08-27 11:03:52 Information science Treebank Parsing Dependency grammar Natural language processing Parse tree Association for Computational Linguistics Statistical parsing Search engine indexing Linguistics Computational linguistics Science
10	MICA: A Probabilistic Dependency Parser Based on Tree Insertion Grammars Application Note Srinivas Bangalore AT&T Labs – Research Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 21:18:14 Grammar Compiler construction Parsing SYNTAX Tree-adjoining grammar Earley parser Parse tree Dependency grammar Context-free grammar Linguistics Formal languages Programming language implementation