Sciweavers

2143 search results - page 44 / 429

» corr 2010

116

CORR
2010
Springer

109views Education» more CORR 2010»

Tight lower bounds for the size of epsilon-nets

14 years 11 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 »

61

CORR
2010
Springer

59views Education» more CORR 2010»

Playing Muller Games in a Hurry

15 years 4 months ago

Playing Muller Games in a Hurry

Download www.automata.rwth-aachen.de

John Fearnley, Martin Zimmermann 0002

claim paper

Read More »

105

CORR
2010
Springer

89views Education» more CORR 2010»

Closed nominal rewriting and efficiently computable nominal algebra equality

15 years 4 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 »

51

CORR
2010
Springer

56views Education» more CORR 2010»

A Monadic Formalization of ML5

15 years 4 months ago

A Monadic Formalization of ML5

Download www.cs.cmu.edu

Daniel R. Licata, Robert Harper

claim paper

Read More »

96

CORR
2010
Springer

74views Education» more CORR 2010»

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

15 years 4 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 »