3018 search results - page 598 / 604 » Paper as an Analytic Resource for the Design of New Technolo... |
SIGIR
2005
ACM
14 years 27 days ago
2005
ACM
This paper presents a new discriminative model for information retrieval (IR), referred to as linear discriminant model (LDM), which provides a flexible framework to incorporate a...
CAV
2005
Springer
14 years 26 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
IMC
2004
ACM
14 years 23 days ago
2004
ACM
This paper characterizes the query behavior of peers in a peer-topeer (P2P) file sharing system. In contrast to previous work, which provides various aggregate workload statistics...
GECCO
2004
Springer
14 years 21 days ago
2004
Springer
We have already proposed using evolutionary computation to adjust the voice quality conversion parameters, and we have reported that this approach produces results that are not onl...
LATIN
2004
Springer
14 years 21 days ago
2004
Springer
For several graph-theoretic parameters such as vertex cover and dominating set, it is known that if their sizes are bounded by k then the treewidth of the graph is bounded by some ...