1421 search results - page 124 / 285 » The First and Second Max-SAT Evaluations |
HPCA
2005
IEEE
14 years 10 months ago
2005
IEEE
Due to increasing power densities, both on-chip average and peak temperatures are fast becoming a serious bottleneck in processor design. This is due to the cost of removing the h...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
We report results on the performance of the combination of soft keyboards and marking menus. A model of expert user performance indicated an 11 - 37% (depending on the keyboard la...
CHI
2002
ACM
14 years 10 months ago
2002
ACM
We are creating an interactive tool to help non-professional web site builders create high quality designs. We have previously reported that quantitative measures of web page stru...
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
This paper describes our practical query-by-humming system, SoundCompass, which is being used as a karaoke song selection system in Japan. First, we describe the fundamental techn...
SIGMOD
2003
ACM
14 years 10 months ago
2003
ACM
We consider the problem of efficiently producing ranked results for keyword search queries over hyperlinked XML documents. Evaluating keyword search queries over hierarchical XML ...