2911 search results - page 28 / 583 » A Theory of Expressiveness in Mechanisms |
INTEROP
1999
Springer
15 years 2 months ago
1999
Springer
For data to be successfully integrated, semantically similar database elements must be identified as candidates for merging. However, there may be significant differences between ...
MICS
2007
14 years 9 months ago
2007
Spectra and pseudospectra of matrix polynomials are of interest in geometric intersection problems, vibration problems, and analysis of dynamical systems. In this note we consider ...
122
click to vote
ICLA
2011
Springer
14 years 1 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
WWW
2010
ACM
15 years 4 months ago
2010
ACM
When online ads are shown together, they compete for user attention and conversions, imposing negative externalities on each other. While the competition for user attention in spo...