10 search results - page 1 / 2 » Five Axioms of Alpha-Conversion |
TPHOL
1996
IEEE
13 years 9 months ago
1996
IEEE
WWW
2008
ACM
14 years 6 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...
NJC
2006
13 years 5 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...
INFOCOM
2010
IEEE
13 years 3 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...
CVPR
2005
IEEE
14 years 7 months 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...