1888 search results - page 244 / 378 » Proof theory and computational analysis |
96
Voted
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
SAC
2006
ACM
15 years 7 months ago
2006
ACM
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
116
Voted
SIGECOM
2005
ACM
15 years 7 months ago
2005
ACM
We study a multi-unit auction with multiple bidders, each of whom has a private valuation and a budget. The truthful mechanisms of such an auction are characterized, in the sense ...
SIGDOC
2004
ACM
15 years 7 months ago
2004
ACM
This paper extends previous work by other researchers that indicated that users of computers preferred a computer with a personality that was similar to theirs. We conducted a sim...
SIGECOM
2003
ACM
15 years 7 months ago
2003
ACM
We consider the problem of minimizing preference elicitation in efficient multiattribute auctions, that support dynamic negotiation over non-price based attributes such as qualit...