There are several situations where the type of a street intersections can become very important, especially in the case of navigation studies. The types of intersections affect the route complexity and this has to be accounted for, e.g., already during the experimental design phase of a navigation study. In this work we introduce a formal definition for intersection types and present a framework that allows for extracting information about the intersections of our planet. We present a case study that demonstrates the importance and necessity of being able to extract this information.
@InProceedings{fogliaroni_et_al:LIPIcs.GISCIENCE.2018.3, author = {Fogliaroni, Paolo and Bucher, Dominik and Jankovic, Nikola and Giannopoulos, Ioannis}, title = {{Intersections of Our World}}, booktitle = {10th International Conference on Geographic Information Science (GIScience 2018)}, pages = {3:1--3:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-083-5}, ISSN = {1868-8969}, year = {2018}, volume = {114}, editor = {Winter, Stephan and Griffin, Amy and Sester, Monika}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GISCIENCE.2018.3}, URN = {urn:nbn:de:0030-drops-93310}, doi = {10.4230/LIPIcs.GISCIENCE.2018.3}, annote = {Keywords: intersection types, navigation, experimental design} }
Feedback for Dagstuhl Publishing