2501 search results - page 48 / 501 » Logics with Rank Operators |
85
Voted
AAAI
2007
15 years 3 months ago
2007
In the last decade, several approaches have been proposed for merging multiple and potentially conflicting pieces of information. Egalitarist fusion modes privilege solutions tha...
CORR
2008
Springer
15 years 22 days ago
2008
Springer
Prolog's ability to return multiple answers on backtracking provides an elegant mechanism to derive reversible encodings of combinatorial objects as Natural Numbers i.e. ranki...
101
Voted
CORR
2007
Springer
15 years 19 days ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...
111
Voted
ICML
2003
IEEE
15 years 5 months ago
2003
IEEE
AUC(Area Under the Curve) of ROC(Receiver Operating Characteristics) has been recently used as a measure for ranking performanceof learning algorithms. In this paper, wepresent a ...
75
Voted
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
We consider the problem of maintaining information about the rank of a matrix M under changes to its entries. For an n × n matrix M, we show an amortized upper bound of O(nω−1)...