Sungwoo Park School of Computer Science Carnegie Mellon University...  Home/Search
Context Related
| cmu.edu/~gla/p202park.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/~gla/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: As probabilistic computation plays an increasing role in diverse fields in computer science, researchers have designed new languages to facilitate the development of probabilistic programs. In this paper, we develop a probabilistic calculus by extending the traditional lambda calculus. In our calculus, every expression denotes a probability distribution yet evaluates to a regular value. The most notable feature of our calculus is that it is founded upon sampling functions, which map the unit... (Update)
Cited by: More
A Probabilistic Language based upon Sampling Functions - Sungwoo Park Frank (Correct)
A Programming Language for Probabilistic Computation - Park (2005) (Correct)
Active bibliography (related documents): More All
0.9: A Monadic Probabilistic Language - Park, Pfenning, Thrun (Correct)
0.1: Approximating Labelled Markov Processes - Desharnais, Jagadeesan (2000) (Correct)
0.1: Efficient EM Learning with Tabulation for Parameterized Logic.. - Kameya, Sato (2000) (Correct)
Similar documents based on text: More All
0.2: Iterative Inversion of Fuzzified Neural Networks - Park, Han (Correct)
0.1: Per-Branch History Length Fitting in Pattern-Based Branch.. - Park, Kim (Correct)
0.1: 2D Robot Arm Control by the Iterative Inversion of Neural Networks - Park (Correct)
Related documents from co-citation: More All
6: Computational complexity of probabilistic Turing machines (context) - Gill - 1974
6: Probabilistic Non-Determinism (context) - Jones - 1993
6: Probabilistic LCF (context) - Saheb-Djahromi - 1978
BibTeX entry: (Update)
S. Park. A calculus for probabilistic languages. In Proceedings of the 2003. http://citeseer.ist.psu.edu/628472.html More
@misc{ park03calculus,
author = "S. Park",
title = "A calculus for probabilistic languages",
text = "S. Park. A calculus for probabilistic languages. In Proceedings of the
2003.",
year = "2003",
url = "citeseer.ist.psu.edu/628472.html" }
Citations (may not include all citations):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
143 A modal analysis of staged computation - Davies, Pfenning - 2001
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
40 Monte carlo localization: E#cient position estimation for mo.. (context) - Fox, Burgard et al. - 1999
30 A new representation for exact real numbers - Edalat, Potts - 2000
24 The call-byneed lambda calculus - Maraist, Odersky et al. - 1998
21 Stochastic processes as concurrent constraint programs - Gupta, Jagadeesan et al. - 1999
20 Intersection types and computational e#ects (context) - Davies, Pfenning - 2000
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
5 IBAL: A probabilistic rational programming language (context) - Pfe - 2001
Documents on the same site (http://www-2.cs.cmu.edu/~gla/): More
The Design Principles of Object-Oriented VRML - Park, Han (1998) (Correct)
Iterative Inversion of Fuzzified Neural Networks - Sungwoo Park And (Correct)
Object-Oriented VRML for Multi-user Environments - Park, Han (1997) (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