4190 search results - page 460 / 838 » Type Class Directives |
172
click to vote
POPL
1996
ACM
15 years 11 months ago
1996
ACM
Region Inference is a technique for implementing programming languages that are based on typed call-by-value lambda calculus, such as Standard ML. The mathematical runtime model o...
148
Voted
CHI
1994
ACM
15 years 11 months ago
1994
ACM
We describe a prototype system, the Interactive Office, which supports the occupant's daily activities in an office. Discrete sensors embedded in an office detect the occupan...
164
Voted
PLILP
1994
Springer
15 years 11 months ago
1994
Springer
In this paper we argue that hand-writing a program generator generator has a number of advantages compared to generating a program generator generator by self-application of a part...
212
Voted
EUROGP
2007
Springer
15 years 10 months ago
2007
Springer
This work details an auction-based model for problem decomposition in Genetic Programming classification. The approach builds on the population-based methodology of Genetic Progra...
162
click to vote
WIKIS
2010
ACM
15 years 10 months ago
2010
ACM
A feature of online communities and notably Wikipedia is the increasing use of managerial techniques to coordinate the efforts of volunteers. In this short paper, we explore the ...