1743 search results - page 148 / 349 » Generalized Modal Satisfiability |
143
Voted
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
Recommender systems perform much better on users for which they have more information. This gives rise to a problem of satisfying users new to a system. The problem is even more a...
145
Voted
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
With the proliferation of geo-positioning and geo-tagging, spatial web objects that possess both a geographical location and a textual description are gaining in prevalence, and s...
191
Voted
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
We study generalization for preserving privacy in publication of sensitive data. The existing methods focus on a universal approach that exerts the same amount of preservation for...
130
click to vote
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
137
Voted
ICALP
1994
Springer
15 years 7 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...