Automatic identification and localization of cartographic objects in aerial and satellite images have gained increasing attention in recent years in digital photogrammetry and remote sensing. Although the automatic extraction of man made objects in essence is still an unresolved issue, the man made objects can be extracted from aerial photos and satellite images. Recently, the high-resolution s...

We study the problem of answering spatial queries in databases where objects exist with some uncertainty and they are associated with an existential probability. The goal of a thresholding probabilistic spatial query is to retrieve the objects that qualify the spatial predicates with probability that exceeds a threshold. Accordingly, a ranking probabilistic spatial query selects the objects wit...

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory $T$ in which all partially recursive functions are representable, yet $T$ does not interpret Robinson's theory $R$. To this end, we borrow tools from model theory---specifically, we investigate model-theoretic properties of the mode...

This article investigates Foucault’s account of desiring man by drawing upon History Sexuality vol. 4, Confessions the Flesh. In order to do so, focuses on diagnosis Christian elaboration “the analytic subject concupiscence” that closes As shows, inspires man. However, proves be debatable as it relies a problematic interplay between Cassian’s and Saint Augustine’s concupiscence. The exposes pro...