2501 search results - page 55 / 501 » Logics with Rank Operators |
107
click to vote
WWW
2001
ACM
16 years 1 months ago
2001
ACM
In response to a query a search engine returns a ranked list of documents. If the query is on a popular topic (i.e., it matches many documents) then the returned list is usually t...
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper, we introduce a new scheme called SecureRank for prioritizing vulnerabilities to patch in computing systems/networks. This has become a key issue for IT infrastru...
94
Voted
ML
2008
ACM
15 years 18 days ago
2008
ACM
Label ranking studies the problem of learning a mapping from instances to rankings over a predefined set of labels. Hitherto existing approaches to label ranking implicitly operat...
99
Voted
JASIS
2010
14 years 11 months ago
2010
Ranking information retrieval (IR) systems with respect to their effectiveness is a crucial operation during IR evaluation, as well as during data fusion. This paper offers a no...
CSL
2005
Springer
15 years 6 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...