5995 search results - page 956 / 1199 » Algorithmic Game Theory |
132
click to vote
PODS
2006
ACM
16 years 4 months ago
2006
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
163
Voted
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
133
click to vote
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
136
Voted
POPL
2010
ACM
16 years 2 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
149
click to vote
P2P
2008
IEEE
15 years 11 months ago
2008
IEEE
Peer-to-peer file-sharing networks depend on peers uploading data to each other. Some peers, called free-riders, will not upload data unless there is an incentive to do so. Algor...