5344 search results - page 750 / 1069 » Privacy-Preserving Set Operations |
186
click to vote
ICCS
2004
Springer
16 years 22 days ago
2004
Springer
QuickSet [6] is a multimodal system that gives users the capability to create and control map-based collaborative interactive simulations by supporting the simultaneous input from ...
216
click to vote
ICCS
2004
Springer
16 years 21 days ago
2004
Springer
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...
178
click to vote
IJCNLP
2004
Springer
16 years 21 days ago
2004
Springer
We study the problem of efficiently removing equal frequency n-gram substrings from an n-gram set, formally called Statistical Substring Reduction (SSR). SSR is a useful operatio...
235
click to vote
ISSAC
2004
Springer
16 years 21 days ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
216
click to vote
KR
2004
Springer
16 years 21 days ago
2004
Springer
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason abo...