Search Sciweavers | Sciweavers

10304 search results - page 260 / 2061

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

click to vote

FOCS
1996
IEEE

68views Theoretical Computer Science» more FOCS 1996»

Property Testing and Its Connection to Learning and Approximation

15 years 6 months ago

Download www.eng.tau.ac.il

Oded Goldreich, Shafi Goldwasser, Dana Ron

claim paper

Read More »

click to vote

TLCA
1993
Springer

109views Theoretical Computer Science» more TLCA 1993»

Modified Realizability Toposes and Strong Normalization Proofs

15 years 6 months ago

Download www.dpmms.cam.ac.uk

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

claim paper

Read More »

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 6 months ago

Download www.cs.wustl.edu

Joe Hoffert, Shanshan Jiang, Douglas C. Schmidt

claim paper

Read More »

click to vote

MFCS
2000
Springer

77views Theoretical Computer Science» more MFCS 2000»

Optical Routing of Uniform Instances in Tori

15 years 5 months ago

Download www-ma4.upc.es

Francesc Comellas, Margarida Mitjana, Lata Narayan...

claim paper

Read More »

103

click to vote

FOCS
1997
IEEE

81views Theoretical Computer Science» more FOCS 1997»

Satisfiability Coding Lemma

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers