557 search results - page 103 / 112 » Spatial Semantics in Difference Spaces |
WWW
2008
ACM
14 years 9 months ago
2008
ACM
The Web offers rich relational data with different semantics. In this paper, we address the problem of document recommendation in a digital library, where the documents in questio...
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
AINA
2007
IEEE
14 years 3 months ago
2007
IEEE
— Efficient searching is one of the important design issues in peer-to-peer (P2P) networks. Among various searching techniques, semantic-based searching has drawn significant a...
MMDB
2003
ACM
14 years 2 months ago
2003
ACM
Conventional approaches to image retrieval are based on the assumption that relevant images are physically near the query image in some feature space. This is the basis of the clu...