2911 search results - page 186 / 583 » A Theory of Expressiveness in Mechanisms |
156
click to vote
WINE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Most existing market maker mechanisms for prediction markets are designed for events with a finite number of outcomes. All known attempts on designing market makers for f...
212
click to vote
DALT
2005
Springer
16 years 18 hour ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
172
click to vote
PEPM
2004
ACM
15 years 12 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
160
click to vote
CHI
2009
ACM
15 years 11 months ago
2009
ACM
An intriguing anomaly of the usual way of designing Fitts’ law experiments in experimental psychology and HCI is exposed: experiments are traditionally designed so as to careful...
162
click to vote
NIPS
2008
15 years 8 months ago
2008
Aiming towards the development of a general clustering theory, we discuss abstract axiomatization for clustering. In this respect, we follow up on the work of Kleinberg, ([1]) tha...