,
Bart Kuijpers
Creative Commons Attribution 4.0 International license
Space-time prisms have been extensively studied as a model to describe the uncertainty of the spatio-temporal location of a moving object in between measured space-time locations. In many applications, the desire has been expressed to provide an internal structure to these prisms, that includes what has been called "visit probability". Although several proposals have been studied in the past decades, a precise definition of this concept has been missing. The contribution of this paper is to provide such a specification by means of a formal framework for visit probability. Once this concept is established, we are able to derive on which parts of a prism, visit probability can be seen to give rise to a probability space.
@InProceedings{jansen_et_al:LIPIcs.TIME.2025.17,
author = {Jansen, Arthur and Kuijpers, Bart},
title = {{Visit Probability in Space-Time Prisms for Moving Object Data}},
booktitle = {32nd International Symposium on Temporal Representation and Reasoning (TIME 2025)},
pages = {17:1--17:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-401-7},
ISSN = {1868-8969},
year = {2025},
volume = {355},
editor = {Vidal, Thierry and Wa{\l}\k{e}ga, Przemys{\l}aw Andrzej},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2025.17},
URN = {urn:nbn:de:0030-drops-244633},
doi = {10.4230/LIPIcs.TIME.2025.17},
annote = {Keywords: Spatio-temporal databases, moving object databases, space-time prisms, probability spaces}
}