Active Bibliography

26 A probabilistic language based upon sampling functions – Sungwoo Park, Frank Pfenning, Sebastian Thrun - 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
A Logical View of Effects – Sungwoo Park , Robert Harper
96 How to Declare an Imperative – Philip Wadler - 1995
190 An Online Mapping Algorithm for Teams of Mobile Robots – Sebastian Thrun - 2001
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
564 Dynamic Bayesian Networks: Representation, Inference and Learning – Kevin Patrick Murphy - 2002
28 Distributed multi-robot exploration and mapping – Dieter Fox, Jonathan Ko, Kurt Konolige, Benson Limketkai, Dirk Schulz, Benjamin Stewart - 2006
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
Algorithms for Mobile Robot Localization and Mapping, Incorporating Detailed Noise Modeling and Multi-Scale Feature Extraction – Samuel T. Pfister, Samuel T. Pfister - 2006
46 Simultaneous Mapping and Localization With Sparse Extended Information Filters: Theory and Initial Results – Sebastian Thrun , et al. - 2002
88 A Multilevel Relaxation Algorithm for Simultaneous Localisation and Mapping – Udo Frese, Per Larsson, Tom Duckett - 2004
54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
17 Deforestation for Higher-Order Functional Programs – Simon David Marlow - 1995
67 Polymorphism and separation in Hoare type theory – Aleksandar Nanevski, Greg Morrisett, Lars Birkedal - 2006
19 Towards a Unified Bayesian Approach to Hybrid Metric-Topological SLAM – Jose-luis Blanco, Juan-antonio Fernández-madrigal, Javier Gonzalez - 2008