10435 search results - page 327 / 2087 » Measuring system normality |
194
click to vote
AAI
2004
15 years 7 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...
172
click to vote
SIGIR
2006
ACM
16 years 1 months 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...
204
click to vote
TLCA
2005
Springer
16 years 26 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 ...
225
click to vote
CADE
2008
Springer
15 years 9 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...
181
click to vote
ICIP
2005
IEEE
16 years 9 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...