441 search results - page 85 / 89 » A Method for Proving Observational Equivalence |
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
Whenever an intrusion occurs, the security and value of a computer system is compromised. Network-based attacks make it difficult for legitimate users to access various network ser...
RECSYS
2009
ACM
14 years 3 months ago
2009
ACM
With the exponential growth of Web contents, Recommender System has become indispensable for discovering new information that might interest Web users. Despite their success in th...
SIGIR
2009
ACM
14 years 3 months ago
2009
ACM
We consider experiments to measure the quality of a web search algorithm based on how much total time users take to complete assigned search tasks using that algorithm. We first ...
ISPASS
2007
IEEE
14 years 3 months ago
2007
IEEE
— The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiproce...
SIGECOM
2006
ACM
14 years 2 months ago
2006
ACM
Finding an equilibrium of an extensive form game of imperfect information is a fundamental problem in computational game theory, but current techniques do not scale to large games...