1888 search results - page 244 / 378 » Proof theory and computational analysis |
145
Voted
SAC
2006
ACM
16 years 3 days 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...
141
click to vote
SAC
2006
ACM
16 years 3 days 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...
158
click to vote
SIGECOM
2005
ACM
15 years 11 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 ...
140
Voted
SIGDOC
2004
ACM
15 years 11 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...
140
Voted
SIGECOM
2003
ACM
15 years 11 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...