337 search results - page 68 / 68 » Type Classes for Mathematics in Type Theory |
SIGECOM
2003
ACM
13 years 10 months ago
2003
ACM
Preference elicitation — the process of asking queries to determine parties’ preferences — is a key part of many problems in electronic commerce. For example, a shopping age...
DM
1998
13 years 4 months ago
1998
We give a counterexample to a conjecture by Wild about binary matroids. We connect two equivalent lines of research in matroid theory: a simple type of basis-exchange property and ...