1401 search results - page 265 / 281 » Cost-Sensitive Test Strategies |
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
The dominant existing routing strategies employed in peerto-peer(P2P) based information retrieval(IR) systems are similarity-based approaches. In these approaches, agents depend o...
130
click to vote
IICS
2010
Springer
15 years 1 months ago
2010
Springer
: We address the problem of evaluating peer-to-peer information retrieval (P2PIR) systems with semantic overlay structure. The P2PIR community lacks a commonly accepted testbed, su...
123
click to vote
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
87
Voted
POPL
2010
ACM
15 years 2 days ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
65
Voted
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
Review assignment is a common task that many people such as conference organizers, journal editors, and grant administrators would have to do routinely. As a computational problem...