7118 search results - page 991 / 1424 » Electrical and Computer Engineering |
119
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
147
Voted
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Collaborative browsing, or co-browsing, is the co-navigation of the web with other people at-a-distance, supported by software that takes care of synchronizing the browsers. Curre...
169
Voted
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Recent technology trends in the Web Services (WS) domain indicate that a solution eliminating the presumed complexity of the WS-* standards may be in sight: advocates of REpresent...
133
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Web search engines present search results in a rank ordered list. This works when what a user wants is near the top, but sometimes the information that the user really wants is lo...
216
Voted
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
In late May, 2008, a group of database researchers, architects, users and pundits met at the Claremont Resort in Berkeley, California to discuss the state of the research field an...