5604 search results - page 728 / 1121 » Becoming Increasingly Reliable |
163
click to vote
ATAL
2004
Springer
16 years 9 days ago
2004
Springer
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
191
click to vote
CADE
2004
Springer
16 years 9 days ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
164
click to vote
CEAS
2004
Springer
16 years 9 days ago
2004
Springer
Spam has become a major problem that is threatening the efficiency of the current email system. Spam is overwhelming the Internet because 1) emails are pushed from senders to recei...
187
click to vote
COORDINATION
2004
Springer
16 years 9 days ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
162
click to vote
CRYPTO
2004
Springer
16 years 9 days ago
2004
Springer
In a recent paper Dinur and Nissim considered a statistical database in which a trusted database administrator monitors queries and introduces noise to the responses with the goal ...