8266 search results - page 235 / 1654 » Information About the Journal |
159
click to vote
DLOG
1997
15 years 8 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
164
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. A cryptographic primitive is leakage-resilient, if it remains secure even if an adversary can learn a bounded amount of arbitrary information about the computation with e...
157
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
The Workshop on Aggregated seeks to define the research problems for aggregated search results, and to build a community of researchers working in this emerging area. Aggregated s...
203
click to vote
JANCL
2007
15 years 6 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
248
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Online bibliographic databases, such as DBLP in computer science and PubMed in medical sciences, contain abundant information about research publications in different fields. Each...