Search Sciweavers | Sciweavers

10304 search results - page 260 / 2061

» Computer science with the sciences: an emphasis in computati...

132

click to vote

FOCS
1996
IEEE

68views Theoretical Computer Science» more FOCS 1996»

Property Testing and Its Connection to Learning and Approximation

15 years 10 months ago

Download www.eng.tau.ac.il

Oded Goldreich, Shafi Goldwasser, Dana Ron

claim paper

Read More »

146

click to vote

TLCA
1993
Springer

109views Theoretical Computer Science» more TLCA 1993»

Modified Realizability Toposes and Strong Normalization Proofs

15 years 10 months ago

Download www.dpmms.cam.ac.uk

J. M. E. Hyland, C.-H. Luke Ong

claim paper

Read More »

149

click to vote

ACMSE
2007
ACM

102views Theoretical Computer Science» more ACMSE 2007»

A taxonomy of discovery services and gap analysis for ultra-large scale systems

15 years 10 months ago

Download www.cs.wustl.edu

Joe Hoffert, Shanshan Jiang, Douglas C. Schmidt

claim paper

Read More »

145

click to vote

MFCS
2000
Springer

77views Theoretical Computer Science» more MFCS 2000»

Optical Routing of Uniform Instances in Tori

15 years 10 months ago

Download www-ma4.upc.es

Francesc Comellas, Margarida Mitjana, Lata Narayan...

claim paper

Read More »

157

click to vote

FOCS
1997
IEEE

81views Theoretical Computer Science» more FOCS 1997»

Satisfiability Coding Lemma

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers