736 search results - page 80 / 148 » High-order functions and their ordering relations |
147
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
The paper analyses the problem of ranking accuracy in multiple criteria decision-making (MCDM) methods. The methodology for measuring the accuracy of determining the relative signi...
158
click to vote
IJBRA
2007
15 years 6 months ago
2007
The permutation procedure is widely used to assess the significance level (p-value) of a test statistic. This approach is asymptotically consistent. In genomics and proteomics st...
153
click to vote
IS
2007
15 years 6 months ago
2007
Despite the importance of ranked queries in numerous applications involving multi-criteria decision making, they are not efficiently supported by traditional database systems. In ...
159
click to vote
TIFS
2008
15 years 6 months ago
2008
Combination functions typically used in biometric identification systems consider as input parameters only those matching scores which are related to a single person in order to de...
173
click to vote
JAR
2007
15 years 6 months ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...