Active Bibliography

1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
7 A probabilistic language based on sampling functions – Sungwoo Park, Frank Pfenning - 2006
10 A Monadic Probabilistic Language – Sungwoo Park, Frank Pfenning, Sebastian Thrun - 2003
393 Dynamic Bayesian Networks: Representation, Inference and Learning – Kevin Patrick Murphy - 2002
128 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
228 Robotic Mapping: A Survey – Sebastian Thrun - 2002
7 Monte Carlo Hidden Markov Models – Sebastian Thrun, John Langford - 1998
Bayes Pose Estimation by Modeling Color Distributions – Dirk Neumann - 2003
71 Adapting the Sample Size in Particle Filters Through KLD-Sampling – Dieter Fox - 2003
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
37 Abstract predicates and mutable ADTs in Hoare type theory – Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal - 2007
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
61 Polymorphism and separation in Hoare type theory – Aleksandar Nanevski, Greg Morrisett, Lars Birkedal - 2006
10 Linear Gaussian models for speech recognition – Antti-Veikko Ilmari Rosti - 2004
46 Finding Approximate POMDP Solutions Through Belief Compression – Nicholas Roy, Geoffrey Gordon, Sebastian Thrun - 2003
163 An Online Mapping Algorithm for Teams of Mobile Robots – Sebastian Thrun - 2001
7 Whole-Hand and Speech Input in Virtual Environments – Joseph J. Laviola, Jr., David H. Laidlaw, Robert C. Zeleznik, William A. S. Buxton, Peder J. Estrup - 1999