Sciweavers

491 search results - page 2 / 99
» Ranking Abstractions
Sort
View
118
Voted
ATVA
2006
Springer
79views Hardware» more  ATVA 2006»
15 years 7 months ago
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise
Harald Fecher, Michael Huth
ECML
2006
Springer
15 years 7 months ago
Cost-Sensitive Learning of SVM for Ranking
Abstract. In this paper, we propose a new method for learning to rank. `Ranking SVM' is a method for performing the task. It formulizes the problem as that of binary classific...
Jun Xu, Yunbo Cao, Hang Li, Yalou Huang
EWMF
2005
Springer
15 years 9 months ago
Information Retrieval in Trust-Enhanced Document Networks
Abstract. To fight the problem of information overload in huge information sources like large document repositories, e. g. citeseer, or internet websites you need a selection crit...
Klaus Stein, Claudia Hess