1656 search results - page 146 / 332 » Labeling Schemes with Queries |
200
click to vote
AGP
1995
IEEE
15 years 10 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
146
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we study the privacy preservation properties of a specific technique for query log anonymization: tokenbased hashing. In this approach, each query is tokenized, and ...
161
click to vote
INFOCOM
2008
IEEE
16 years 29 days ago
2008
IEEE
—We study the problem of data-driven routing and navigation in a distributed sensor network over a continuous scalar field. Specifically, we address the problem of searching fo...
208
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we address the problem of designing a scalable, accurate query processor for peerto-peer filesharing and similar distributed keyword search systems. Using a global...
184
click to vote
TIME
2000
IEEE
15 years 11 months ago
2000
IEEE
In spatiotemporal applications, meaningful changes vary according to object type, level of detail, and nature of application. In this paper, we introduce a dynamic classification ...