-
1
-
-
84861291579
-
-
Australian Centre for Field Robotics, The University of Sydney
-
http://www.acfr.usyd.edu.au/homepages/academic/enebot/dataset.htm. Australian Centre for Field Robotics, The University of Sydney.
-
-
-
-
5
-
-
0000595574
-
Computational complexity of probabilistic Turing machines
-
Dec.
-
J. Gill. Computational complexity of probabilistic Turing machines. SIAM Journal on Computing, 6(4):675-695, Dec. 1977.
-
(1977)
SIAM Journal on Computing
, vol.6
, Issue.4
, pp. 675-695
-
-
Gill, J.1
-
6
-
-
0002445221
-
A categorical approach to probability theory
-
B. Banaschewski, editor. Springer Verlag
-
M. Giry. A categorical approach to probability theory. In B. Banaschewski, editor, Categorical Aspects of Topology and Analysis, pages 68-85. Springer Verlag, 1981.
-
(1981)
Categorical Aspects of Topology and Analysis
, pp. 68-85
-
-
Giry, M.1
-
7
-
-
0032644530
-
Stochastic processes as concurrent constraint programs
-
ACM Press
-
V. Gupta, R. Jagadeesan, and P. Panangaden. Stochastic processes as concurrent constraint programs. In 26th ACM POPL, pages 189-202. ACM Press, 1999.
-
(1999)
26th ACM POPL
, pp. 189-202
-
-
Gupta, V.1
Jagadeesan, R.2
Panangaden, P.3
-
8
-
-
85012775611
-
Propagation of uncertainty in Bayesian networks by probabilistic logic sampling
-
J. F. Lemmer and L. N. Kanal, editors. Elsevier/North-Holland
-
M. Henrion. Propagation of uncertainty in Bayesian networks by probabilistic logic sampling. In J. F. Lemmer and L. N. Kanal, editors, Uncertainty in Artificial Intelligence 2, pages 149-163. Elsevier/North-Holland, 1988.
-
(1988)
Uncertainty in Artificial Intelligence
, vol.2
, pp. 149-163
-
-
Henrion, M.1
-
10
-
-
0004270633
-
-
PhD thesis, Department of Computer Science, University of Edinburgh
-
C. Jones. Probabilistic Non-Determinism. PhD thesis, Department of Computer Science, University of Edinburgh, 1990.
-
(1990)
Probabilistic Non-Determinism
-
-
Jones, C.1
-
11
-
-
0031349265
-
Effective Bayesian inference for stochastic programs
-
AAAI Press
-
D. Koller, D. McAllester, and A. Pfeffer. Effective Bayesian inference for stochastic programs. In AAAI-97/IAAI-97, pages 740-747. AAAI Press, 1997.
-
(1997)
AAAI-97/IAAI-97
, pp. 740-747
-
-
Koller, D.1
McAllester, D.2
Pfeffer, A.3
-
12
-
-
0019572941
-
Semantics of probabilistic programs
-
D. Kozen. Semantics of probabilistic programs. Journal of Computer and System Sciences, 22(3):328-350, 1981.
-
(1981)
Journal of Computer and System Sciences
, vol.22
, Issue.3
, pp. 328-350
-
-
Kozen, D.1
-
13
-
-
0001341735
-
Introduction to monte carlo methods
-
M. I. Jordan, editor, NATO Science Series. Kluwer Academic Press
-
D. J. C. MacKay. Introduction to Monte Carlo methods. In M. I. Jordan, editor, Learning in Graphical Models, NATO Science Series, pages 175-204. Kluwer Academic Press, 1998.
-
(1998)
Learning in Graphical Models
, pp. 175-204
-
-
MacKay, D.J.C.1
-
14
-
-
0002140364
-
On the meanings of the logical constants and the justifications of the logical laws
-
P. Martin-Löf. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11-60, 1996.
-
(1996)
Nordic Journal of Philosophical Logic
, vol.1
, Issue.1
, pp. 11-60
-
-
Martin-Löf, P.1
-
15
-
-
35248882982
-
Roll: A language for specifying die-rolls
-
V. Dahl and P. Wadler, editors PADL 03. Springer
-
T. Mogensen. Roll: A language for specifying die-rolls. In V. Dahl and P. Wadler, editors, PADL 03, volume 2562 of LNCS, pages 145-159. Springer, 2002.
-
(2002)
LNCS
, vol.2562
, pp. 145-159
-
-
Mogensen, T.1
-
16
-
-
0024927385
-
Computational lambda-calculus and monads
-
IEEE Computer Society Press
-
E. Moggi. Computational lambda-calculus and monads. In LICS-89, pages 14-23. IEEE Computer Society Press, 1989.
-
(1989)
LICS-89
, pp. 14-23
-
-
Moggi, E.1
-
17
-
-
0026188821
-
Notions of computation and monads
-
E. Moggi. Notions of computation and monads. Information and Computation, 93:55-92, 1991.
-
(1991)
Information and Computation
, vol.93
, pp. 55-92
-
-
Moggi, E.1
-
19
-
-
84880834761
-
FastSLAM 2.0: An improved particle filtering algorithm for simultaneous localization and mapping that provably converges
-
Morgan Kaufmann Publishers, Inc.
-
M. Montemerlo, S. Thrun, D. Koller, and B. Wegbreit. FastSLAM 2.0: An improved particle filtering algorithm for simultaneous localization and mapping that provably converges. In IJCAI-03. Morgan Kaufmann Publishers, Inc., 2003.
-
(2003)
IJCAI-03
-
-
Montemerlo, M.1
Thrun, S.2
Koller, D.3
Wegbreit, B.4
-
21
-
-
0141762599
-
A calculus for probabilistic languages
-
ACM Press
-
S. Park. A calculus for probabilistic languages. In TLDI 03, pages 38-49. ACM Press, 2003.
-
(2003)
TLDI 03
, pp. 38-49
-
-
Park, S.1
-
22
-
-
17044392392
-
A probabilistic language based upon sampling functions
-
School of Computer Science, Carnegie Mellon University
-
S. Park, F. Pfenning, and S. Thrun. A probabilistic language based upon sampling functions. Technical Report CMU-CS-04-173, School of Computer Science, Carnegie Mellon University, 2004.
-
(2004)
Technical Report
, vol.CMU-CS-04-173
-
-
Park, S.1
Pfenning, F.2
Thrun, S.3
-
23
-
-
84880881676
-
IBAL: A probabilistic rational programming language
-
Morgan Kaufmann Publishers
-
A. Pfeffer. IBAL: A probabilistic rational programming language. In IJCAI-01, pages 733-740. Morgan Kaufmann Publishers, 2001.
-
(2001)
IJCAI-01
, pp. 733-740
-
-
Pfeffer, A.1
-
25
-
-
0141442898
-
Toward general analysis of recursive probability models
-
Morgan Kaufmann Publishers
-
D. Pless and G. Luger. Toward general analysis of recursive probability models. In UAI-01, pages 429-436. Morgan Kaufmann Publishers, 2001.
-
(2001)
UAI-01
, pp. 429-436
-
-
Pless, D.1
Luger, G.2
-
26
-
-
0036039863
-
Stochastic lambda calculus and monads of probability distributions
-
ACM Press
-
N. Ramsey and A. Pfeffer. Stochastic lambda calculus and monads of probability distributions. In 29th ACM POPL, pages 154-165. ACM Press, 2002.
-
(2002)
29th ACM POPL
, pp. 154-165
-
-
Ramsey, N.1
Pfeffer, A.2
-
28
-
-
85034422328
-
Probabilistic LCF
-
Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science. Springer
-
N. Saheb-Djahromi. Probabilistic LCF. In Proceedings of the 7th Symposium on Mathematical Foundations of Computer Science, volume 64 of LNCS, pages 442-451. Springer, 1978.
-
(1978)
LNCS
, vol.64
, pp. 442-451
-
-
Saheb-Djahromi, N.1
-
29
-
-
0034499827
-
Probabilistic algorithms in robotics
-
S. Thrun. Probabilistic algorithms in robotics. AI Magazine, 21(4):93-109, 2000.
-
(2000)
AI Magazine
, vol.21
, Issue.4
, pp. 93-109
-
-
Thrun, S.1
-
30
-
-
0033705011
-
Towards programming tools for robots that integrate probabilistic computation and learning
-
IEEE
-
S. Thrun. Towards programming tools for robots that integrate probabilistic computation and learning. In ICRA-00. IEEE, 2000.
-
(2000)
ICRA-00.
-
-
Thrun, S.1
-
32
-
-
79955750805
-
An introduction to the kalman filter
-
Department of Computer Science, University of North Carolina - Chapel Hill
-
G. Welch and G. Bishop. An introduction to the kalman filter. Technical Report TR95-041, Department of Computer Science, University of North Carolina - Chapel Hill, 1995.
-
(1995)
Technical Report
, vol.TR95-041
-
-
Welch, G.1
Bishop, G.2
|