Sciweavers

6432 search results - page 12 / 1287
» Classic Mechanism Design
Sort
View
LICS
2010
IEEE
13 years 5 months ago
An Intuitionistic Logic that Proves Markov's Principle
—We design an intuitionistic predicate logic that supports a limited amount of classical reasoning, just enough to prove a variant of Markov’s principle suited for predicate lo...
Hugo Herbelin
SIGECOM
2003
ACM
141views ECommerce» more  SIGECOM 2003»
14 years 20 days ago
Automated mechanism design for a self-interested designer
Often, an outcome must be chosen on the basis of the preferences reported by a group of agents. The key difficulty is that the agents may report their preferences insincerely to m...
Vincent Conitzer, Tuomas Sandholm
JCSS
2008
138views more  JCSS 2008»
13 years 7 months ago
Reducing mechanism design to algorithm design via machine learning
We use techniques from sample-complexity in machine learning to reduce problems of incentive-compatible mechanism design to standard algorithmic questions, for a broad class of re...
Maria-Florina Balcan, Avrim Blum, Jason D. Hartlin...
GI
2001
Springer
13 years 12 months ago
Designing QoS and Charging Mechanisms: He who pays the service shapes the design
To accommodate applications with highly variable degrees and categories of Quality of Service (QoS) requirements, a major effort has been invested to overcome the traditional best-...
Anna Bouch, Martina Angela Sasse
CERA
2002
134views more  CERA 2002»
13 years 7 months ago
Design Parameterization for Concurrent Design and Manufacturing of Mechanical Systems
Design changes are frequently encountered in the product development process. The complexity of the design changes is multiplied when the product design involves multiple engineer...
Javier Silva, Kuang-Hua Chang