1787 search results - page 343 / 358 » classification 2006 |
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Watching DVDs can be a frustrating experience, because DVD menus often miss out on usability and are complex and difficult to navigate through. Similar to the early years of web d...
POPL
2006
ACM
14 years 9 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...
STOC
2006
ACM
14 years 9 months ago
2006
ACM
In this paper we consider bounded real-valued functions over the discrete cube, f : {-1, 1}n [-1, 1]. Such functions arise naturally in theoretical computer science, combinatorics...
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
The classical (ad hoc) document retrieval problem has been traditionally approached through ranking according to heuristically developed functions (such as tf.idf or bm25) or gene...