1727 search results - page 10 / 346 » A Technique for Large Automated Mechanism Design Problems |
CADE
2007
Springer
16 years 2 days ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
? With the proliferation of digital cameras and self-publishing of photos, automatic detection of image orientation will become an important part of photo management systems. In th...
CCS
2001
ACM
15 years 4 months ago
2001
ACM
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
110
click to vote
STOC
2003
ACM
16 years 2 days ago
2003
ACM
We describe a general technique for converting an online algorithm B to a truthtelling mechanism. We require that the original online competitive algorithm has certain "nicen...
117
click to vote
ATAL
2005
Springer
15 years 1 months ago
2005
Springer
A constrained agent is limited in the actions that it can take at any given time, and a challenging problem is to design policies for such agents to do the best they can despite t...