6715 search results - page 892 / 1343 » Learning from a Test Set |
171
click to vote
SIGIR
2008
ACM
15 years 7 months ago
2008
ACM
Modeling the beyond-topical aspects of relevance are currently gaining popularity in IR evaluation. For example, the discounted cumulated gain (DCG) measure implicitly models some...
200
click to vote
TSMC
2008
15 years 6 months ago
2008
This correspondence presents an approach to the detection and isolation of component failures in large-scale systems. In the case of sensors that report at rates of 1 Hz or less, t...
162
click to vote
AIR
2004
15 years 6 months ago
2004
Abstract. In this work we study an over-constrained scheduling problem where constraints cannot be relaxed. This problem originates from a local defense agency where activities to ...
192
click to vote
AEI
1999
15 years 6 months ago
1999
Multihop lightwave networks are a means of utilizing the large bandwidth of optical fibers. In these networks, each node has a fixed number of transmitters and receivers connected...
205
click to vote
MICS
2008
15 years 6 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...