1176 search results - page 209 / 236 » Theory and Applications of Robust Optimization |
ATAL
2010
Springer
15 years 27 days ago
2010
Springer
In the strategyproof classification setting, a set of labeled examples is partitioned among multiple agents. Given the reported labels, an optimal classification mechanism returns...
153
Voted
CANDC
2011
ACM
13 years 11 months ago
2011
ACM
This paper describes a computerized aesthetic composition task that is based on a “creativity as search” metaphor. The technique collects detailed, moment-to-moment data about...
104
click to vote
CADE
2005
Springer
16 years 2 days ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
125
click to vote
PODS
2007
ACM
15 years 12 months ago
2007
ACM
We consider the problem of constructing decision trees for entity identification from a given relational table. The input is a table containing information about a set of entities...
101
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...