2911 search results - page 398 / 583 » A Theory of Expressiveness in Mechanisms |
GIS
2008
ACM
15 years 2 months ago
2008
ACM
One of the formalisms to qualitatively describe polylines in the plane are double-cross matrices. In a double-cross matrix the relative position of any two line segments in a poly...
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
121
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
143
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
106
Voted
SIGECOM
2010
ACM
15 years 1 months ago
2010
ACM
In the traditional voting manipulation literature, it is assumed that a group of manipulators jointly misrepresent their preferences to get a certain candidate elected, while the ...