Sungwoo Park Frank Pfenning Carnegie Mellon University {gla,fp}@cs.cmu.com...  Home/Search
Context Related
| cmu.edu/~fp/papers/popl05.ps 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/~fp/publications (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 that treat probability distributions as primitive datatypes. Most probabilistic languages, however, focus only on discrete distributions and have limited expressive power. In this paper, we present a probabilistic language, called ## , which uniformly supports all kinds of probability distributions -- discrete distributions, continuous distributions, and even... (Update)
Cited by: More
A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank (2004) (Correct)
Active bibliography (related documents): More All
1.2: A Programming Language for Probabilistic Computation - Park (2005) (Correct)
1.1: A Monadic Probabilistic Language - Park, Pfenning, Thrun (Correct)
0.9: A Calculus for Probabilistic Languages - Sungwoo Park School (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
S. Park, F. Pfenning, and S. Thrun. A probabilistic language based upon sampling functions. Technical Report CMU-CS-04-173, School of Computer Science, Carnegie Mellon University, 2004. http://citeseer.ist.psu.edu/article/park04probabilistic.html More
@misc{ park04probabilistic,
author = "S. Park and F. Pfenning and S. Thrun",
title = "A probabilistic language based upon sampling functions",
text = "S. Park, F. Pfenning, and S. Thrun. A probabilistic language based upon
sampling functions. Technical Report CMU-CS-04-173, School of Computer Science,
Carnegie Mellon University, 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/article/park04probabilistic.html" }
Citations (may not include all citations):406 Sequential Monte Carlo Methods in Practice (context) - Doucet, de Freitas et al. - 2001
369 Information and Computation (context) - Moggi, computation - 1991
291 Computational lambda-calculus and monads - Moggi - 1989
250 Artificial Intelligence: A Modern Approach (context) - Russell, Norvig - 1995
225 Stochastic Processes and Filtering Theory (context) - Jazwinski - 1970
159 A guide to simulation (context) - Bratley, Fox et al. - 1996
145 Computational complexity of probabilistic Turing machines (context) - Gill - 1977
102 Markov localization for mobile robots in dynamic environment.. - Fox, Burgard et al. - 1999
89 An introduction to the kalman filter (context) - Welch, Bishop - 1995
84 Mathematical Structures in Computer Science (context) - Pfenning, Davies et al. - 2001
83 Probabilistic Non-Determinism (context) - Jones - 1990
75 Semantics of probabilistic programs (context) - Kozen - 1981
74 Probabilistic algorithms in robotics - Thrun - 2000
52 Introduction to Monte Carlo methods (context) - MacKay - 1998
44 Robotic mapping: A survey - Thrun - 2002
30 Conditional particle filters for simultaneous mobile robot l.. - Montemerlo, Whittaker et al. - 2002
21 Stochastic processes as concurrent constraint programs - Gupta, Jagadeesan et al. - 1999
20 A categorical approach to probability theory (context) - Giry - 1981
16 the meanings of the logical constants and the justifications.. (context) - Martin-Lof - 1996
14 Propagation of uncertainty in Bayesian networks by probabili.. (context) - Henrion - 1988
12 An improved particle filtering algorithm for simultaneous lo.. (context) - Montemerlo, Thrun et al. - 2003
12 Towards programming tools for robots that integrate probabil.. - Thrun - 2000
9 Probabilistic LCF (context) - Saheb-Djahromi - 1978
9 Stochastic lambda calculus and monads of probability distrib.. - Ramsey, Pfe - 2002
7 ective Bayesian inference for stochastic programs (context) - Koller, McAllester et al. - 1997
7 Toward general analysis of recursive probability models (context) - Pless, Luger - 2001
6 A calculus for probabilistic languages - Park - 2003
5 IBAL: A probabilistic rational programming language (context) - Pfe - 2001
5 Roll: A language for specifying die-rolls (context) - Mogensen - 2002
1 A probabilistic language based upon sampling functions - Park, Pfenning et al. - 2004
http://www.cs.cmu.edu/~carmen/
http://www.acfr.usyd.edu.au/homepages/academic/
Documents on the same site (http://www.cs.cmu.edu/~fp/publications.html): More
Verifying Uniqueness in a Logical Framework - Anderson, Pfenning (2004) (Correct)
Compiler Verification in LF - Hannan, Pfenning (1992) (Correct)
Meta-Programming with Names and Necessity - Nanevski, Pfenning (2002) (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