Sciweavers

208 search results - page 33 / 42
» Relations Among Privacy Notions
Sort
View
ACS
2010
13 years 9 months ago
Sequentially Dense Essential Monomorphisms of Acts Over Semigroups
The class Md of sequentially dense monomorphisms were first defined and studied by Giuli, Ebrahimi, and Mahmoudi for projection algebras (acts over the monoid (N , min), of interes...
M. Mahmoudi, L. Shahbaz
AIL
2000
78views more  AIL 2000»
13 years 9 months ago
Representation of formal dispute with a standing order
Computational dialectics is a relatively new field. It is, among others, concerned with the formal representation of argument and dispute. The goal is to suggest algorithms, proce...
Gerard Vreeswijk
ENTCS
2000
112views more  ENTCS 2000»
13 years 8 months ago
Typed Multiset Rewriting Specifications of Security Protocols
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
Iliano Cervesato
CAS
1999
92views more  CAS 1999»
13 years 8 months ago
Towards a Logical Reconstruction of Information Retrieval Theory
We here expand on a previous paper concerning the role of logic in information retrieval (IR) modelling. In that paper, among other things, we had pointed out how different ways of...
Fabrizio Sebastiani
PVLDB
2010
123views more  PVLDB 2010»
13 years 7 months ago
Sharing-Aware Horizontal Partitioning for Exploiting Correlations During Query Processing
Optimization of join queries based on average selectivities is suboptimal in highly correlated databases. In such databases, relations are naturally divided into partitions, each ...
Kostas Tzoumas, Amol Deshpande, Christian S. Jense...