Sungwoo Park  Home/Search
Context
Related
| cmu.edu/anon/2005/...MUCS05137.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/anon/2005/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages to facilitate their modeling. Most of the existing probabilistic languages, however, focus only on discrete distributions, and there has been little effort to develop probabilistic languages whose expressive power is beyond discrete distributions. This dissertation presents a probabilistic language, called PTP (ProbabilisTic Programming), which supports all kinds... (Update)
Active bibliography (related documents): More All
2.1: A Modal Language for Effects - Park, Harper (2004) (Correct)
1.7: A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank (Correct)
0.8: A Monadic Probabilistic Language - Park, Pfenning, Thrun (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ park-programming,
author = "Sungwoo Park",
title = "A Programming Language for Probabilistic Computation",
url = "citeseer.ist.psu.edu/park05programming.html" }
Citations (may not include all citations):2528 Maximum likelihood from incomplete data via the EM algorithm (context) - Dempster, Laird et al. - 1977
1362 A tutorial on hidden Markov models and selected applications.. (context) - Rabiner - 1989
406 Sequential Monte Carlo Methods in Practice (context) - Doucet, de Freitas et al. - 2001
369 Information and Computation (context) - Moggi, computation - 1991
343 Modal Logic: An Introduction (context) - Chellas - 1980
328 Real and Complex Analysis (context) - Rudin - 1986
293 The essence of functional programming - Wadler - 1992
291 Computational lambda-calculus and monads - Moggi - 1989
262 Statistical Language Learning - Charniak - 1993
250 Artificial Intelligence: A Modern Approach (context) - Russell, Norvig - 1995
225 Stochastic Processes and Filtering Theory (context) - Jazwinski - 1970
202 Statistical Methods for Speech Recognition (context) - Jelinek - 1998
159 A guide to simulation (context) - Bratley, Fox et al. - 1996
145 Computational complexity of probabilistic Turing machines (context) - Gill - 1977
144 Globally consistent range scan alignment for environment map.. - Lu, Milios - 1997
110 A formulae-as-type notion of control - Griffin - 1990
102 Markov localization for mobile robots in dynamic environment.. - Fox, Burgard et al. - 1999
101 Lazy functional state threads - Launchbury, Jones - 1994
94 Mathematical Structures in Computer Science (context) - Wadler - 1992
89 An introduction to the Kalman filter (context) - Welch, Bishop - 1995
87 Concurrent haskell - Jones, Gordon et al. - 1996
84 Mathematical Structures in Computer Science (context) - Pfenning, Davies et al. - 2001
83 Probabilistic Non-Determinism (context) - Jones - 1990
77 Lisp and Symbolic Computation (context) - Launchbury, Jones et al. - 1995
75 Semantics of probabilistic programs (context) - Kozen - 1981
74 Probabilistic algorithms in robotics - Thrun - 2000
56 The formulas-as-types notion of construction (context) - Howard - 1980
55 FastSLAM: A Factored Solution to the Simultaneous Localizati.. - Montemerlo - 2003
52 Introduction to Monte Carlo methods (context) - MacKay - 1998
52 Intuitionistic necessity revisited - Bierman, de Paiva - 1996
51 Computational types from a logical perspective - Benton, Bierman et al. - 1998
44 The Proof Theory and Semantics of Intuitionistic Modal Logic (context) - Simpson - 1994
44 Robotic mapping: A survey - Thrun - 2002
39 A semantics for imprecise exceptions - Jones, Reid et al. - 1999
35 Typing first-class continuations in ML - Harper, Duba et al. - 1993
31 Information and Computation (context) - Fairtlough, Mendler et al. - 1997
30 Conditional particle filters for simultaneous mobile robot l.. - Montemerlo, Whittaker et al. - 2002
30 A new representation for exact real numbers - Edalat, Potts - 2000
29 Haskell 98 Language and Libraries: The Revised Report (context) - Jones - 2003
24 Department of Computer Science (context) - Jones, Duponcheel et al. - 1993
24 Almquist and Wiksell (context) - Prawitz - 1965
23 Adaptive functional programming - Acar, Blelloch et al. - 2002
23 Revised report on the algorithmic language Scheme (context) - Abelson, Dybvig et al. - 1998
23 The recursive record semantics of objects revisited - Boudol - 2001
21 Combining monads - King, Wadler - 1992
21 Stochastic processes as concurrent constraint programs - Gupta, Jagadeesan et al. - 1999
20 A categorical approach to probability theory (context) - Giry - 1981
20 Tackling awkward squad monadic inputoutput - Tackling, squad et al. - 2001
19 Effective Bayesian inference for stochastic programs - Koller, McAllester et al. - 1997
16 the meanings of the logical constants and the justifications.. (context) - Martin-Lof - 1996
15 Monadic encapsulation in ML - Semmelroth, Sabry - 1999
15 An effective theory of type refinements - Mandelbaum, Walker et al. - 2003
14 Propagation of uncertainty in Bayesian networks by probabili.. (context) - Henrion - 1988
13 Correctness of monadic state: an imperative call-by-need cal.. - Ariola, Sabry - 1998
13 What is a purely functional language - Sabry - 1998
12 A type theory for memory allocation and data layout - Petersen, Harper et al. - 2003
12 Towards programming tools for robots that integrate probabil.. - Thrun - 2000
12 Recursive monadic bindings - Erkok, Launchbury - 2000
9 Probabilistic LCF (context) - Saheb-Djahromi - 1978
9 Stochastic lambda calculus and monads of probability distrib.. - Ramsey, Pfeffer - 2002
9 ACM Transactions on Programming Languages and Systems (context) - Sabry, Wadler et al. - 1997
8 An abstract monadic semantics for value recursion - Moggi, Sabry - 2004
7 Toward general analysis of recursive probability models (context) - Pless, Luger - 2001
6 Monadic encapsulation of effects: a revised approach - Moggi, Sabry - 2001
6 A calculus for probabilistic languages - Park - 2003
5 Roll: A language for specifying die-rolls (context) - Mogensen - 2002
5 ur Mathematische Logik und Grundlagen der Mathematik (context) - Kripke, of et al. - 1963
4 From dynamic binding to state via modal possibility (context) - Nanevski - 2003
4 A monadic analysis of information flow security with mutable.. - Crary, Kliger et al. - 2003
4 Selective memoization - Acar, Blelloch et al. - 2003
4 A type system for well-founded recursion - Dreyer - 2004
3 Composing monads using coproducts (context) - Luth, Ghani - 2002
3 ACM Transactions on Computational Logic (context) - Wadler, Thiemann et al. - 2003
2 IBAL: A probabilistic rational programming language - Pfeffer - 2001
1 A programming language extension for probabilistic robot pro.. - Thrun - 2000
1 A modal calculus for effect handling - Nanevski - 2003
http://www.acfr.usyd.edu.au/homepages/academic/enebot/
http://caml.inria.fr
http://www.cs.cmu.edu/carmen/
Documents on the same site (http://reports-archive.adm.cs.cmu.edu/anon/2005/): More
Taxonomy and Effectiveness of Worm Defense Strategies - Brumley, Liu, Poosankam, Song (2005) (Correct)
Learning To Prevent Failure State for a Dynamically.. - Searock, Browning, Veloso (2005) (Correct)
Device-Enabled Authorization in the Grey System - Bauer, Garriss, McCune.. (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC