Sciweavers

2636 search results - page 4 / 528

» Linear Programming

109

ICALP
2010
Springer

135views Programming Languages» more ICALP 2010»

Linear Orders in the Pushdown Hierarchy

15 years 10 months ago

Linear Orders in the Pushdown Hierarchy

Download igm.univ-mlv.fr

Laurent Braud, Arnaud Carayol

claim paper

Read More »

133

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

15 years 6 months ago

Relational Parametricity for a Polymorphic Linear Lambda Calculus

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

claim paper

Read More »

187

JMLR
2012

185views Programming Languages» more JMLR 2012»

Bandit Theory meets Compressed Sensing for high dimensional Stochastic Linear Bandit

13 years 9 months ago

Bandit Theory meets Compressed Sensing for high dimensional Stochastic Linear Bandit

Download hal.inria.fr

Alexandra Carpentier, Rémi Munos

claim paper

Read More »

235

APLAS
2001
ACM

176views Programming Languages» more APLAS 2001»

Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus

15 years 10 months ago

Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus

Download www.kurims.kyoto-u.ac.jp

Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...

Masahito Hasegawa

claim paper

Read More »

150

IPCO
2007

101views Optimization» more IPCO 2007»

An Integer Programming Approach for Linear Programs with Probabilistic Constraints

15 years 8 months ago

An Integer Programming Approach for Linear Programs with Probabilistic Constraints

Download www2.isye.gatech.edu

James Luedtke, Shabbir Ahmed, George L. Nemhauser

claim paper

Read More »

« Prev « First page 4 / 528 Last » Next »