1442 search results - page 161 / 289 » Finding interesting things |
151
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
We present an overview+detail document interface that draws on perceptual principles to help users work with documents. Central to our approach is the use of improved document ove...
258
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
143
click to vote
STOC
2003
ACM
16 years 6 months ago
2003
ACM
For a Boolean formula on n variables, the associated property P is the collection of n-bit strings that satisfy . We study the query complexity of tests that distinguish (with hig...
187
click to vote
STOC
2001
ACM
16 years 6 months ago
2001
ACM
Given a matrix A, it is often desirable to find a good approximation to A that has low rank. We introduce a simple technique for accelerating the computation of such approximation...
272
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Complex queries over high speed data streams often need to rely on approximations to keep up with their input. The research community has developed a rich literature on approximat...