© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Monte Carlo Markov Chain methods for tracking
A. R. Runnalls
In Algorithms for Target Tracking, pages 182-196. IEE, May 1995 Digest No 1995/104.Bibtex Record
@inproceedings{457,
author = {A. R. Runnalls},
title = {{M}onte {C}arlo {M}arkov {C}hain Methods for Tracking},
month = {May},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Digest No 1995/104},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1995/457},
booktitle = {Algorithms for Target Tracking},
publisher = {IEE},
refereed = {no},
}