Sciweavers

981 search results - page 127 / 197
» Negation in Spatial Reasoning
Sort
View
SP
2006
IEEE
110views Security Privacy» more  SP 2006»
15 years 3 months ago
Privacy and Contextual Integrity: Framework and Applications
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
Adam Barth, Anupam Datta, John C. Mitchell, Helen ...
SIGIR
2006
ACM
15 years 3 months ago
Enhancing topic tracking with temporal information
In this paper, we propose a new strategy with time granularity reasoning for utilizing temporal information in topic tracking. Compared with previous ones, our work has four disti...
Baoli Li, Wenjie Li, Qin Lu
SIGIR
2006
ACM
15 years 3 months ago
The role of knowledge in conceptual retrieval: a study in the domain of clinical medicine
Despite its intuitive appeal, the hypothesis that retrieval at the level of “concepts” should outperform purely term-based approaches remains unverified empirically. In addit...
Jimmy J. Lin, Dina Demner-Fushman
IPCCC
2005
IEEE
15 years 3 months ago
A tree-based reliable multicast scheme exploiting the temporal locality of transmission errors
Tree-based reliable multicast protocols provide scalability by distributing error-recovery tasks among several repair nodes. These repair nodes keep in their buffers all packets t...
Jinsuk Baek, Jehan-François Pâris
LICS
2005
IEEE
15 years 3 months ago
Proof-Theoretic Approach to Description-Logic
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
Martin Hofmann