981 search results - page 40 / 197 » Negation in Spatial Reasoning |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Video conferencing is still considered a poor alternative to face-to-face meetings. In the business setting, where these systems are most prevalent, the misuse of video conferenci...
GIS
2010
ACM
14 years 8 months ago
2010
ACM
We provide an algorithm that can construct a valid moving region from snapshots of a region in time. Our algorithm is robust in the sense that given valid input regions, the gener...
MOBIQUITOUS
2007
IEEE
15 years 4 months ago
2007
IEEE
—Sensor networks involving human participants will require privacy protection before wide deployment is feasible. This paper proposes and evaluates a set of protocols that enable...
TGIS
2010
14 years 8 months ago
2010
Interpretation of spatial features often requires combined reasoning over geometry and semantics. We introduce the Space package, an open source SWI-Prolog extension that provides ...
FTP
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...