1623 search results - page 134 / 325 » No Sorting |
137
click to vote
CHI
2002
ACM
16 years 5 months ago
2002
ACM
This work explores how comparing web navigation histories between two people and presenting the results to them might allow them to gain insight about each other. We developed a p...
124
Voted
CHI
2002
ACM
16 years 5 months ago
2002
ACM
Navigating through new voicemail messages to find messages of interest is a time-consuming task, particularly for high-volume users. When checking messages under a time constraint...
113
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...
152
click to vote
STOC
2006
ACM
16 years 5 months ago
2006
ACM
We present a new data structure that facilitates approximate nearest neighbor searches on a dynamic set of points in a metric space that has a bounded doubling dimension. Our data...
202
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
RadixZip is a block compression technique for token streams. It introduces RadixZip Transform, a linear time algorithm that rearranges bytes using a technique inspired by radix so...