2911 search results - page 39 / 583 » A Theory of Expressiveness in Mechanisms |
138
click to vote
WINE
2010
Springer
15 years 4 months ago
2010
Springer
We propose a new proxy bidding mechanism to allocate courses to students given students' reported preferences. Our mechanism is motivated by a specific strategic downgrading m...
139
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressi...
249
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
154
click to vote
JCC
2007
15 years 6 months ago
2007
: This essay provides a perspective on several issues in valence bond theory: the physical significance of semilocal bonding orbitals, the capability of valence bond concepts to e...
117
click to vote
PRL
2007
15 years 5 months ago
2007
Current approaches for the prediction of functional relations from gene expression data often do not have a clear methodology for extracting features and are not accompanied by a ...