5302 search results - page 909 / 1061 » Learning How to Separate |
135
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
144
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
In this paper, we explore the problems associated with exception handling from a new dimension: the human. We designed a study that evaluates (1) different perspectives of softwar...
140
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Most of the current methodologies for building ontologies rely on specialized knowledge engineers. This is in contrast to real-world settings, where the need for maintenance of do...
140
Voted
WWW
2007
ACM
16 years 5 months ago
2007
ACM
We show that the time web sites take to respond to HTTP requests can leak private information, using two different types of attacks. The first, direct timing, directly measures re...
131
Voted
WWW
2004
ACM
16 years 5 months ago
2004
ACM
In this paper, we propose a Web based information sharing system called the Proxy Agent-based Information Sharing (PAIS). We also developed a writable Web mechanism called Web bro...