1581 search results - page 89 / 317 » Mechanizing Inductive Reasoning |
165
click to vote
SIGECOM
2004
ACM
15 years 11 months ago
2004
ACM
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...
141
click to vote
SIGECOM
2003
ACM
15 years 11 months ago
2003
ACM
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...
161
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
We study the problem of designing a mechanism to rank items in forums by making use of the user reviews such as thumb and star ratings. We compare mechanisms where forum users rat...
178
click to vote
PPDP
2007
Springer
16 years 13 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
177
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
The Sisyphus-I initiative consists of a constraint satisfaction problem in which a group of people in a research environment must be allocated rooms. Numerous constraints are detai...