Sciweavers

520 search results - page 23 / 104
» Truthful Mechanisms for Exhibitions
Sort
View
EH
2000
IEEE
123views Hardware» more  EH 2000»
15 years 4 months ago
The Test Vector Problem and Limitations to Evolving Digital Circuits
How do we know the correctness of an evolved circuit? While Evolutionary Hardware is exhibiting its effectiveness, we argue that it is very difficult to design a large-scale digit...
Kosuke Imamura, James A. Foster, Axel W. Krings
ISMVL
1993
IEEE
140views Hardware» more  ISMVL 1993»
15 years 4 months ago
Systematic Construction of Natural Deduction Systems for Many-Valued Logics
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...
Matthias Baaz, Christian G. Fermüller, Richar...
DAGSTUHL
2007
15 years 1 months ago
Incentive Compatible Regression Learning
We initiate the study of incentives in a general machine learning framework. We focus on a game-theoretic regression learning setting where private information is elicited from mu...
Ofer Dekel, Felix A. Fischer, Ariel D. Procaccia
WECWIS
2003
IEEE
97views ECommerce» more  WECWIS 2003»
15 years 5 months ago
Auctions with Untrustworthy Bidders
The paper analyzes auctions which are not completely enforceable. In such auctions, economic agents may fail to carry out their obligations, and parties involved cannot rely on ex...
Sviatoslav Braynov, Tuomas Sandholm
PKDD
2010
Springer
168views Data Mining» more  PKDD 2010»
14 years 10 months ago
Bayesian Knowledge Corroboration with Logical Rules and User Feedback
Current knowledge bases suffer from either low coverage or low accuracy. The underlying hypothesis of this work is that user feedback can greatly improve the quality of automatica...
Gjergji Kasneci, Jurgen Van Gael, Ralf Herbrich, T...