270 search results - page 25 / 54 » A Simple and General Theoretical Account for Abstract Types |
APGV
2008
ACM
13 years 9 months ago
2008
ACM
simulations compare to similar measurements done in more abstract settings. We find that participant tolerance for certain types of errors is significantly higher in a realistic sn...
TLDI
2010
ACM
14 years 4 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...
SIGECOM
2008
ACM
13 years 7 months ago
2008
ACM
We study the question of how to easily recognize whether a social unction f from an abstract type space to a set of outcomes is truthful, i.e. implementable by a truthful mechanis...
PEPM
1994
ACM
13 years 12 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
LKR
2008
13 years 9 months ago
2008
Abstract. Recent research has enabled important progress in developing agents aimed at real-world linguistic interaction with humans. Hence, within the general shift of research fo...