16190 search results - page 240 / 3238 » Applicative programming with effects |
138
Voted
MP
2008
15 years 3 months ago
2008
Abstract. We study piecewise decomposition methods for mathematical programs with equilibrium constraints (MPECs) for which all constraint functions are linear. At each iteration o...
128
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
116
Voted
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
125
Voted
AAAI
2010
15 years 5 months ago
2010
Planning in dynamic continuous environments requires reasoning about nonlinear continuous effects, which previous Hierarchical Task Network (HTN) planners do not support. In this ...
127
Voted
APVIS
2010
15 years 5 months ago
2010
With the rapid development in graphics hardware and volume rendering techniques, many volumetric datasets can now be rendered in real time on a standard PC equipped with a commodi...