691 search results - page 3 / 139 » Axiomatizing geometric constructions |
109
click to vote
TLCA
1997
Springer
15 years 2 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
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...
71
Voted
ENTCS
2008
14 years 10 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
80
Voted
STOC
2009
ACM
15 years 10 months ago
2009
ACM
Non-relativization of complexity issues can be interpreted as giving some evidence that these issues cannot be resolved by "black-box" techniques. In the early 1990'...
93
Voted
ICTAI
2008
IEEE
15 years 4 months ago
2008
IEEE
Ontologies are becoming more and more popular as background knowledge for intelligent applications. Up to now, there has been a schism between manually assembled, highly axiomatic...