10 search results - page 1 / 2 » Five Axioms of Alpha-Conversion |
75
Voted
TPHOL
1996
IEEE
15 years 2 months ago
1996
IEEE
101
Voted
WWW
2008
ACM
15 years 11 months ago
2008
ACM
High-quality, personalized recommendations are a key feature in many online systems. Since these systems often have explicit knowledge of social network structures, the recommenda...
79
Voted
NJC
2006
14 years 10 months ago
2006
We axiomatize the congruence relation for binding bigraphs and prove that the generated theory is complete. In doing so, we define a normal form for binding bigraphs, and prove tha...
100
Voted
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
We present a set of five axioms for fairness measures in resource allocation. A family of fairness measures satisfying the axioms is constructed. Well-known notions such as -fairne...
73
Voted
CVPR
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper presents an axiomatic approach to corner detection. In the first part of the paper we review five currently used corner detection methods (Harris-Stephens, F?orstner, S...