16404 search results - page 2694 / 3281 » A set coverage problem |
209
click to vote
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
185
click to vote
AUSAI
2001
Springer
15 years 10 months ago
2001
Springer
A central problem in information retrieval is the automated classification of text documents. While many existing methods achieve good levels of performance, they generally require...
197
click to vote
CBMS
2001
IEEE
15 years 10 months ago
2001
IEEE
Image indexing for biomedical content is a prohibitively expensive task if done manually. This leads to the demand for effective automated or computer assisted indexing methods. W...
192
click to vote
CLUSTER
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents Clusterfile, a parallel file system that provides parallel file access on a cluster of computers. Existing parallel file systems offer little control over matc...
164
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...