4421 search results - page 760 / 885 » Libraries |
106
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
133
click to vote
KDD
2004
ACM
16 years 2 months ago
2004
ACM
We devise a boosting approach to classification and regression based on column generation using a mixture of kernels. Traditional kernel methods construct models based on a single...
128
click to vote
KDD
2004
ACM
16 years 2 months ago
2004
ACM
We propose a new unsupervised learning technique for extracting information from large text collections. We model documents as if they were generated by a two-stage stochastic pro...
116
click to vote
CHI
2007
ACM
16 years 1 months ago
2007
ACM
Video surrogates are meant to help people quickly make sense of the content of a video before downloading or seeking more detailed information. In this paper we present the result...
CHI
2006
ACM
16 years 1 months ago
2006
ACM
We present a study into the use of smell for searching digital photo collections. Many people now have large photo libraries on their computers and effective search tools are need...