8647 search results - page 1574 / 1730 » The Container Selection Problem |
129
click to vote
CIKM
2004
Springer
15 years 8 months ago
2004
Springer
It is crucial in many information systems to organize short text segments, such as keywords in documents and queries from users, into a well-formed topic hierarchy. In this paper,...
121
click to vote
KDD
2004
ACM
15 years 8 months ago
2004
ACM
Clustering time series is a problem that has applications in a wide variety of fields, and has recently attracted a large amount of research. In this paper we focus on clustering...
158
click to vote
RULEML
2004
Springer
15 years 8 months ago
2004
Springer
The Web is now a huge information repository with a rich semantic structure that, however, is primarily addressed to human understanding rather than automated processing by a compu...
138
click to vote
SIGADA
2004
Springer
15 years 8 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
123
click to vote
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...