10435 search results - page 327 / 2087 » Measuring system normality |
176
click to vote
AAI
2004
15 years 6 months ago
2004
The ReGreT system is a trust and reputation mechanism that uses, among other things, social information to improve the calculation of trust and reputation measures. Using a framew...
153
click to vote
SIGIR
2006
ACM
16 years 19 days ago
2006
ACM
We consider the problem of large-scale retrieval evaluation, and we propose a statistical method for evaluating retrieval systems using incomplete judgments. Unlike existing techn...
183
click to vote
TLCA
2005
Springer
16 years 4 days ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
203
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
It is well known how to use an intuitionistic meta-logic to specify natural deduction systems. It is also possible to use linear logic as a meta-logic for the specification of a va...
167
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper suggests a new measure of symmetry for bifurcating structures, which relies not only on topology and ordering, but also on quantitative properties (e.g. length of branc...