1756 search results - page 172 / 352 » Current Directions in Hyper-Programming |
113
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
With the recent troubles in U.S. elections, there has been a nationwide push to update voting systems. Municipalities are investing heavily in electronic voting systems, many of w...
133
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...
230
click to vote
VLDB
2005
ACM
16 years 4 months ago
2005
ACM
Recommendations are crucial for the success of large websites. While there are many ways to determine recommendations, the relative quality of these recommenders depends on many fa...
196
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
The energy efficiency of computer systems is an important concern in a variety of contexts. In data centers, reducing energy use improves operating cost, scalability, reliability,...
138
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
We are presenting a framework for continuous querying of time-varying streamed XML data. A continuous stream in our framework consists of a finite XML document followed by a conti...