Formalization and Automated Detection of Tourist City Center Location | IEEE Conference Publication | IEEE Xplore