This paper presents a survey of topological spatial logics, taking as its point of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the ef...
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter...
—One of main issues in point matching is the choice of the mapping function and the computation of its optimal hyperparameters. In this paper, we propose an attractive approach t...
This paper proposes a notion of presence which overcomes its strict interpretation in terms of physical projection and perception, and interprets ``the sense of being there'...
Stefania Bandini, Sara Manzoni, Fabrizio Nunnari, ...
Aesthetic images evoke an emotional response that transcends mere visual appreciation. In this work we develop a novel computational means for evaluating the composition aesthetic...
Ligang G. Liu, Renjie J. Chen, Lior Wolf, Daniel C...
Service Level Agreements (SLAs) are explicit statements about all expectations and obligations in the business partnership between customers and providers. They have been introduc...
Karim Djemame, Iain Gourlay, James Padgett, Georg ...