Sciweavers

4066 search results - page 233 / 814
» Almost Complete Sets
Sort
View
CHI
2008
ACM
16 years 7 months ago
Impact of screen size on performance, awareness, and user satisfaction with adaptive graphical user interfaces
Adaptive personalization, where the system adapts the interface to a user's needs, has the potential for significant performance benefits on small screen devices. However, re...
Leah Findlater, Joanna McGrenere
POPL
2008
ACM
16 years 6 months ago
Proving non-termination
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumda...
STOC
2003
ACM
178views Algorithms» more  STOC 2003»
16 years 6 months ago
Uniform hashing in constant time and linear space
Many algorithms and data structures employing hashing have been analyzed under the uniform hashing assumption, i.e., the assumption that hash functions behave like truly random fu...
Anna Östlin, Rasmus Pagh
STOC
2001
ACM
134views Algorithms» more  STOC 2001»
16 years 6 months ago
Data-streams and histograms
Histograms are typically used to approximate data distributions. Histograms and related synopsis structures have been successful in a wide variety of popular database applications...
Sudipto Guha, Nick Koudas, Kyuseok Shim
SIGMOD
2001
ACM
142views Database» more  SIGMOD 2001»
16 years 6 months ago
Outlier Detection for High Dimensional Data
The outlier detection problem has important applications in the eld of fraud detection, network robustness analysis, and intrusion detection. Most such applications are high dimen...
Charu C. Aggarwal, Philip S. Yu