{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:05:09Z","timestamp":1748664309898,"version":"3.41.0"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319234847"},{"type":"electronic","value":"9783319234854"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23485-4_47","type":"book-chapter","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T16:07:15Z","timestamp":1440432435000},"page":"480-486","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Constraints for Robot Localization"],"prefix":"10.1007","author":[{"given":"Marco","family":"Correia","sequence":"first","affiliation":[]},{"given":"Olga","family":"Meshcheryakova","sequence":"additional","affiliation":[]},{"given":"Pedro","family":"Sousa","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Cruz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,25]]},"reference":[{"key":"47_CR1","unstructured":"Thrun, S., Burgard, W., Fox, D.: Probabilistic Robotics. The MIT Press (2006)"},{"key":"47_CR2","doi-asserted-by":"crossref","unstructured":"S\u00e4rkk\u00e4, S.: Bayesian filtering and smoothing. Cambridge University Press (2013)","DOI":"10.1017\/CBO9781139344203"},{"key":"47_CR3","doi-asserted-by":"crossref","unstructured":"Kalman, R.E.: A new approach to linear filtering and prediction problems. ASME Journal of Basic Engineering (1960)","DOI":"10.1115\/1.3662552"},{"key":"47_CR4","doi-asserted-by":"crossref","unstructured":"Julier, S.J., Jeffrey, Uhlmann, K.: Unscented filtering and nonlinear estimation. Proceedings of the IEEE, 401\u2013422 (2004)","DOI":"10.1109\/JPROC.2003.823141"},{"key":"47_CR5","doi-asserted-by":"crossref","unstructured":"Kaplow, R., Atrash, A., Pineau, J.: Variable resolution decomposition for robotic navigation under a pomdp framework. In: IEEE Robotics and Automation, pp. 369\u2013376 (2010)","DOI":"10.1109\/ROBOT.2010.5509188"},{"key":"47_CR6","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/78.978374","volume":"50","author":"M Arulampalam","year":"2002","unstructured":"Arulampalam, M., Maskell, S., Gordon, N.: A tutorial on particle filters for online nonlinear\/non-gaussian bayesian tracking. IEEE Trans. Signal Proc. 50, 174\u2013188 (2002)","journal-title":"IEEE Trans. Signal Proc."},{"key":"47_CR7","doi-asserted-by":"crossref","unstructured":"Wang, Y., Wu, D., Seifzadeh, S., Chen, J.: A moving grid cell based mcl algorithm for mobile robot localization. In: IEEE Robotics and Biomimetics, pp. 2445\u20132450 (2009)","DOI":"10.1109\/ROBIO.2009.5420461"},{"key":"47_CR8","doi-asserted-by":"crossref","unstructured":"Dellaert, F., Fox, D., Burgard, W., Thrun, S.: Monte carlo localization for mobile robots. In: IEEE Robotics and Automation, pp. 1322\u20131328 (1999)","DOI":"10.1109\/ROBOT.1999.772544"},{"key":"47_CR9","unstructured":"Lhomme, O.: Consistency techniques for numeric CSPs. In: Proc. of the 13th IJCAI (1993)"},{"key":"47_CR10","unstructured":"Benhamou, F., McAllester, D., van Hentenryck, P.: CLP(intervals) revisited. In: ISLP, pp. 124\u2013138. MIT Press (1994)"},{"key":"47_CR11","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1137\/S0036142995281504","volume":"34","author":"PV Hentenryck","year":"1997","unstructured":"Hentenryck, P.V., Mcallester, D., Kapur, D.: Solving polynomial systems using a branch and prune approach. SIAM Journal Numerical Analysis 34, 797\u2013827 (1997)","journal-title":"SIAM Journal Numerical Analysis"},{"key":"47_CR12","unstructured":"Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising hull and box consistency. In: Procs. of ICLP, pp. 230\u2013244. MIT (1999)"},{"key":"47_CR13","volume-title":"Interval Analysis","author":"R Moore","year":"1966","unstructured":"Moore, R.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"47_CR14","unstructured":"Carvalho, E.: Probabilistic Constraint Reasoning. PhD thesis, FCT\/UNL (2012)"},{"key":"47_CR15","doi-asserted-by":"crossref","unstructured":"Hammersley, J., Handscomb, D.: Monte Carlo Methods. Methuen, London (1964)","DOI":"10.1007\/978-94-009-5819-7"},{"issue":"1","key":"47_CR16","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1145\/1132973.1132980","volume":"32","author":"L Granvilliers","year":"2006","unstructured":"Granvilliers, L., Benhamou, F.: Algorithm 852: Realpaver an interval solver using constraint satisfaction techniques. ACM Trans. Mathematical Software 32(1), 138\u2013156 (2006)","journal-title":"ACM Trans. Mathematical Software"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23485-4_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T04:04:32Z","timestamp":1748577872000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23485-4_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234847","9783319234854"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23485-4_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}