Sungwoo Park Frank Pfenning Sebastian Thrun Computer Science Department...  Home/Search
Context Related
| cmu.edu/afs/cs/user...CMUCS04173.pdf 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/afs/cs/user/fp/www/pap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 those belonging to neither group. Its mathematical basis is sampling functions, i.e., mappings from the unit... (Update)
Cited by: More
A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank (2004) (Correct)
Active bibliography (related documents): More All
1.7: A Programming Language for Probabilistic Computation - Park (2005) (Correct)
0.7: A Monadic Probabilistic Language - Park, Pfenning, Thrun (Correct)
0.5: A Calculus for Probabilistic Languages - Sungwoo Park School (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ frank-probabilistic,
author = "Sungwoo Park Frank",
title = "A Probabilistic Language based upon Sampling Functions",
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
19 Effective Bayesian inference for stochastic programs - Koller, McAllester et al. - 1997
16 the meanings of the logical constants and the justifications.. (context) - of - 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 Stochastic lambda calculus and monads of probability distrib.. - Ramsey, Pfeffer - 2002
9 Probabilistic LCF (context) - Saheb-Djahromi - 1978
7 Toward general analysis of recursive probability models (context) - Pless, Luger - 2001
6 A calculus for probabilistic languages - Park - 2003
5 Roll: A language for specifying die-rolls (context) - Mogensen - 2003
2 IBAL: A probabilistic rational programming language - Pfeffer - 2001
http://www.acfr.usyd.edu.au/homepages/academic/enebot/dataset.htm
http://www.cs.cmu.edu/carmen/
Documents on the same site (http://www.cs.cmu.edu/afs/cs/user/fp/www/papers/): More
Linear Higher-Order Pre-Unification - Cervesato, Pfenning (1997) (Correct)
System Description: Twelf - A Meta-Logical Framework for.. - Pfenning, Schürmann (1999) (Correct)
On Equivalence and Canonical Forms in the LF Type Theory.. - Harper, Pfenning (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