{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,15]],"date-time":"2026-09-15T21:13:14Z","timestamp":1789506794824,"version":"build-2803163510"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/itsc.2013.6728475","type":"proceedings-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T23:36:25Z","timestamp":1391211385000},"page":"1707-1712","source":"Crossref","is-referenced-by-count":4,"title":["A real-time interval constraint propagation method for vehicle localization"],"prefix":"10.1109","author":[{"given":"I. K.","family":"Kueviakoe","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Lambert","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Tarroux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","first-page":"244","article-title":"Localization of an underwater robot using interval constraint propagation","author":"jaulin","year":"2006","journal-title":"International Conference on Principles and Practice of Constraint Programming"},{"key":"35","article-title":"Understanding line drawings of scenes with shadows","author":"waltz","year":"1975","journal-title":"Psychology of Computer Vision"},{"key":"17","first-page":"1193","article-title":"Constraint reasoning based on interval arithmetic","author":"hyvonen","year":"1989","journal-title":"International Joint Conference on Artificial Intelligence"},{"key":"36","first-page":"470","article-title":"Arc consistency on n-ary monotonic and linear constraints","author":"lin","year":"2000","journal-title":"International Conference on Principles and Practice of Constraint Programming"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41635"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/ICARCV.2010.5707822"},{"key":"15","article-title":"Experimental comparison of bayesian vehicle positioning methods based on multisensor data fusion","author":"gruyer","year":"2013","journal-title":"International Journal of Vehicle Autonomous Systems"},{"key":"34","author":"waltz","year":"1972","journal-title":"Generating semantic descriptions from drawings of scenes with shadows"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1201\/9780203026922","author":"hansen","year":"2003","journal-title":"Global Optimization Using Interval Analysis Revised and Expanded"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/10720084_2"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1132973.1132980"},{"key":"11","first-page":"88","article-title":"Logic programming further developments","author":"gallaire","year":"1985","journal-title":"IEEE Symposium on Logic Programming"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1308036"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2009.5354673"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2012.512B030"},{"key":"22","article-title":"Consistency techniques for numeric csps","author":"lhomme","year":"1993","journal-title":"International Joint Conference on Artificial Intelligence"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"24","first-page":"651","article-title":"Good old discrete relaxation","author":"mohr","year":"1988","journal-title":"European Conference on Artificial Intelligence"},{"key":"25","author":"moore","year":"1966","journal-title":"Interval Analysis"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970906"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716"},{"key":"28","first-page":"550","article-title":"On the equivalence of constraint satisfaction problems","author":"rossi","year":"1990","journal-title":"European Conference on Artificial Intelligence"},{"key":"29","article-title":"Probabilistic robotics (intelligent robotics and autonomous agents series)","author":"thrun","year":"2005","journal-title":"Intelligent Robotics and Autonomous Agents"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00142-2"},{"key":"2","first-page":"230","article-title":"Revising hull and box consistency","author":"benhamou","year":"1999","journal-title":"International Conference on Logic Programming"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(89)90037-4"},{"key":"1","first-page":"124","article-title":"Clp (intervals) revisited","author":"benhamon","year":"1994","journal-title":"International Symposium on Logic Programming"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90020-X"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49481-2_12"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90005-1"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980313"},{"key":"5","first-page":"125","article-title":"Logical arithmetic","volume":"2","author":"cleary","year":"1987","journal-title":"Future Computing Systems"},{"key":"31","first-page":"30","article-title":"Enhanced constraints propagation for guaranteed localization predictive step","author":"vincke","year":"2009","journal-title":"IEEEIRSJ LROS Workshop on Planning Perception and Navigation for Intelligent Vehicles"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90041-8"},{"key":"9","first-page":"37","article-title":"Belief maintenance in dynamic constraint networks","author":"dechter","year":"1988","journal-title":"AAAI Conference on Artificial Intelligence"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90091-9"}],"event":{"name":"2013 16th International IEEE Conference on Intelligent Transportation Systems - (ITSC 2013)","location":"The Hague, Netherlands","start":{"date-parts":[[2013,10,6]]},"end":{"date-parts":[[2013,10,9]]}},"container-title":["16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6712176\/6728201\/06728475.pdf?arnumber=6728475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,24]],"date-time":"2022-03-24T23:45:31Z","timestamp":1648165531000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6728475\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/itsc.2013.6728475","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}