11 search results - page 2 / 3 » Automated Online Mechanism Design and Prophet Inequalities |
TARK
2007
Springer
13 years 11 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
WAIM
2005
Springer
13 years 10 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...
SAC
2009
ACM
13 years 9 months ago
2009
ACM
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
HICSS
2009
IEEE
13 years 11 months ago
2009
IEEE
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...
WWW
2009
ACM
13 years 11 months ago
2009
ACM
Tagging has emerged as a powerful mechanism that enables users to find, organize, and understand online entities. Recommender systems similarly enable users to efficiently navig...