1982 search results - page 262 / 397 » Parametricity and dependent types |
162
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We examine the behavioral patterns of email usage in a large-scale enterprise over a three-month period. In particular, we focus on two main questions: (Q1) what do replies depend...
144
click to vote
STOC
2009
ACM
16 years 7 months ago
2009
ACM
We initiate a systematic study of a special type of property testers. These testers consist of repeating a basic test for a number of times that depends on the proximity parameter...
141
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
Clustering algorithms typically operate on a feature vector representation of the data and find clusters that are compact with respect to an assumed (dis)similarity measure betwee...
157
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Being mobile influences not only the types of information people seek but also the ways they attempt to access it. Mobile contexts present challenges of changing location and soci...
146
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
We conducted a survey of 155 participants to examine privacy concerns relating to the viewing of incidental information (i.e. traces of previous activity unrelated to the task at ...