1743 search results - page 347 / 349 » Generalized Modal Satisfiability |
115
Voted
SIGMOD
2011
ACM
14 years 2 months ago
2011
ACM
Prior work in differential privacy has produced techniques for answering aggregate queries over sensitive data in a privacypreserving way. These techniques achieve privacy by addi...
106
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
Consumers of resources in realistic applications (e.g., web, multimedia) typically derive diminishing-return utilities from the amount of resource they receive. A resource provide...
134
Voted
HIPEAC
2011
Springer
13 years 11 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
128
Voted
SIGCOMM
2012
ACM
13 years 2 months ago
2012
ACM
Today’s data centers face extreme challenges in providing low latency. However, fair sharing, a principle commonly adopted in current congestion control protocols, is far from o...