2501 search results - page 33 / 501 » Logics with Rank Operators |
98
Voted
SIGIR
2006
ACM
15 years 6 months ago
2006
ACM
Rank aggregation is a pervading operation in IR technology. We hypothesize that the performance of score-based aggregation may be affected by artificial, usually meaningless devia...
101
click to vote
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
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 operate...
122
click to vote
IJAC
2000
15 years 15 days ago
2000
Starting from a certain monoid that describes the geometry of the left self-distributivity identity, we construct an explicit realization of the free left self-distributive system ...
119
Voted
IEEEVAST
2010
14 years 7 months ago
2010
Data sets in astronomy are growing to enormous sizes. Modern astronomical surveys provide not only image data but also catalogues of millions of objects (stars, galaxies), each ob...
123
Voted
ENTCS
2006
15 years 21 days ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...