1888 search results - page 244 / 378 » Proof theory and computational analysis |
178
click to vote
SAC
2006
ACM
16 years 1 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...
165
click to vote
SAC
2006
ACM
16 years 1 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...
177
click to vote
SIGECOM
2005
ACM
16 years 18 days 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 ...
152
click to vote
SIGDOC
2004
ACM
16 years 14 days 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...
159
click to vote
SIGECOM
2003
ACM
16 years 9 days 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...