3022 search results - page 215 / 605 » Make Way for WayMaker |
160
click to vote
WSE
2002
IEEE
15 years 9 months ago
2002
IEEE
Every day, new information, products and services are being offered by providers on the World Wide Web. At the same time, the number of consumers and the diversity of their intere...
110
click to vote
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM
We address the problem of privacy-preserving access control in distributed systems. Users commonly reveal more personal data than strictly necessary to be granted access to online...
141
click to vote
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
– Communication overhead is one of the dominant factors that affect performance in high-performance computing systems. To reduce the negative impact of communication, programmers...
127
Voted
KR
2010
Springer
15 years 9 months ago
2010
Springer
We consider positive rules in which the conclusion may contain existentially quantified variables, which makes reasoning tasks (such as Deduction) undecidable. These rules have t...
157
Voted
MPC
2010
Springer
15 years 9 months ago
2010
Springer
We show a new and constructive proof of the two-squares theorem, based on a somewhat unusual, but very effective, way of rewriting the so-called extended Euclid’s algorithm. Rat...