메뉴 건너뛰기




Volumn , Issue , 2005, Pages 171-182

A probabilistic language based upon sampling functions

Author keywords

Probabilistic language; Probability distribution; Robotics; Sampling function

Indexed keywords

FUNCTIONS; PROBABILITY DISTRIBUTIONS; PROBLEM SOLVING; ROBOTICS; ROBOTS; SAMPLING;

EID: 29144536833     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1040305.1040320     Document Type: Conference Paper
Times cited : (24)

References (32)
  • 1
    • 84861291579 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 13
    • 0001341735 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.