A probabilistic language based upon sampling functions (2005)

by Sungwoo Park , Frank Pfenning , Sebastian Thrun
Venue:In Conference Record of the 32nd Annual ACM Symposium on Principles of Programming Languages
Citations:26 - 1 self

Active Bibliography

1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
9 A probabilistic language based on sampling functions – Sungwoo Park, Frank Pfenning - 2006
10 A Monadic Probabilistic Language – Sungwoo Park, Frank Pfenning, Sebastian Thrun - 2003
288 Robotic mapping: A survey – Sebastian Thrun
153 Probabilistic Algorithms and the Interactive Museum Tour-Guide Robot Minerva – S. Thrun, M. Beetz, M. Bennewitz, W. Burgard, A.B. Cremers, F. Dellaert, D. Fox, D. Hähnel, C. Rosenberg, N. Roy, J. Schulte, D. Schulz - 2000
8 Monte Carlo Hidden Markov Models – Sebastian Thrun, John Langford - 1998
Addressing perceptual . . . – Francesco Savelli - 2003
1 A Review of Robotic SLAM – Dorian J. Spero, Ray A. Jarvis - 2007
1 A New Solution to the Simultaneous Localisation and Map Building (SLAM) Problem – Dorian Spero, Ray Jarvis, R. A. Jarvis, D. J. Spero, R. A. Jarvis - 2005
Dp-Slam 2.0 – Austin Eliazar And - 2004
3.4.1 Sparse Extended Information Filters......................... 46 3.4.2 Thin Junction Tree Filters.............................. 47 – Andrew Hogue
Constant/Linear Time Simultaneous Localization and Mapping for Dense Maps – Austin I. Eliazar, Ronald Parr
Approved: – Austin Eliazar, Ronald Parr Supervisor, Pankaj Agarwal, Larry Carin, Carlo Tomasi, Austin Eliazar, Ronald Parr Supervisor, Pankaj Agarwal, Larry Carin, Carlo Tomasi
10 Active Appearance-Based Robot Localization Using Stereo Vision – J.M. Porta, et al. - 2005
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
2 Implicit and noncomputational arguments using monads – Pierre Letouzey, Bas Spitters - 2005
A Logical View of Effects – Sungwoo Park , Robert Harper
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
42 Abstract predicates and mutable ADTs in Hoare type theory – Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal - 2007