103 search results - page 11 / 21 » Automated mechanism design: complexity results stemming from... |
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
We present a novel and intuitive framework for building modular vision systems for complex tasks such as surveillance applications. Inspired by graphical models, especially factor...
MICS
2008
13 years 7 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
The "ZIP" adaptive trading algorithm has been demonstrated to outperform human traders in experimental studies of continuous double auction (CDA) markets. The original Z...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
WAIM
2005
Springer
14 years 1 months ago
2005
Springer
We address the problem that current Web applications present mainly the content-centric information, but lack cues and browsing mechanisms for online social information. After summ...