Sciweavers

2143 search results - page 44 / 429

» corr 2010

33

CORR
2010
Springer

109views Education» more CORR 2010»

Tight lower bounds for the size of epsilon-nets

13 years 5 months ago

Tight lower bounds for the size of epsilon-nets

Download www.math.nyu.edu

János Pach, Gábor Tardos

claim paper

Read More »

14

CORR
2010
Springer

59views Education» more CORR 2010»

Playing Muller Games in a Hurry

13 years 11 months ago

Playing Muller Games in a Hurry

Download www.automata.rwth-aachen.de

John Fearnley, Martin Zimmermann 0002

claim paper

Read More »

28

CORR
2010
Springer

89views Education» more CORR 2010»

Closed nominal rewriting and efficiently computable nominal algebra equality

13 years 11 months ago

Closed nominal rewriting and efficiently computable nominal algebra equality

Download www.gabbay.org.uk

Maribel Fernández, Murdoch James Gabbay

claim paper

Read More »

11

CORR
2010
Springer

56views Education» more CORR 2010»

A Monadic Formalization of ML5

13 years 11 months ago

A Monadic Formalization of ML5

Download www.cs.cmu.edu

Daniel R. Licata, Robert Harper

claim paper

Read More »

28

CORR
2010
Springer

74views Education» more CORR 2010»

Cascade and Triangular Source Coding with Side Information at the First Two Nodes

13 years 11 months ago

Cascade and Triangular Source Coding with Side Information at the First Two Nodes

Download www.stanford.edu

Haim H. Permuter, Tsachy Weissman

claim paper

Read More »

« Prev « First page 44 / 429 Last » Next »