10182 search results - page 1656 / 2037 » Case Studies |
155
click to vote
JCDL
2005
ACM
16 years 16 days ago
2005
ACM
In this article we present an evaluation of text clustering and classification methods for creating digital library browse interfaces, focusing on the particular case of collecti...
167
click to vote
CALCO
2005
Springer
16 years 15 days ago
2005
Springer
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
210
click to vote
CCS
2005
ACM
16 years 15 days ago
2005
ACM
An optimistic acknowledgment (opt-ack) is an acknowledgment sent by a misbehaving client for a data segment that it has not received. Whereas previous work has focused on opt-ack ...
164
click to vote
CIE
2005
Springer
16 years 15 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
186
click to vote
COLT
2005
Springer
16 years 15 days ago
2005
Springer
The problem of ranking, in which the goal is to learn a real-valued ranking function that induces a ranking or ordering over an instance space, has recently gained attention in mac...