972 search results - page 15 / 195 » Intersection types and computational effects |
CGF
2008
13 years 7 months ago
2008
The signed distance field for a polygonal model is a useful representation that facilitates efficient computation in many visualization and geometric processing tasks. Often it is...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
EUC
2004
Springer
14 years 1 months ago
2004
Springer
Communication optimization plays an important role in building networked distributed applications. In this paper, we systematically evaluate four bandwidth reduction algorithms, n...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
Forming effective coalitions is a major research challenge in AI and multi-agent systems (MAS). Thus, coalitional games, including Coalition Structure Generation (CSG), have been ...
POPL
2003
ACM
14 years 8 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...