5499 search results - page 957 / 1100 » Generalized Rewrite Theories |
225
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Essentially all data mining algorithms assume that the datagenerating process is independent of the data miner's activities. However, in many domains, including spam detectio...
210
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
A commercial Web page typically contains many information blocks. Apart from the main content blocks, it usually has such blocks as navigation panels, copyright and privacy notice...
156
Voted
CHI
2004
ACM
16 years 7 months ago
2004
ACM
We present a study of the effects of instant messaging (IM) on individuals' management of work across multiple collaborative projects. Groups of four participants completed f...
150
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
This poster describes an integrated set of stories and story-based activities that we have used in product development in IBM Software Group's Lotus product organizations. We...
318
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...