Search Sciweavers | Sciweavers

11

click to vote

FOCS
1990
IEEE

90views Theoretical Computer Science» more FOCS 1990»

Decision Problems for Propositional Linear Logic

13 years 9 months ago

Download www.csl.sri.com

Patrick Lincoln, John C. Mitchell, Andre Scedrov, ...

claim paper

Read More »

12

click to vote

FOCS
1990
IEEE

74views Theoretical Computer Science» more FOCS 1990»

Time-Space Tradeoffs for Undirected Graph Traversal

13 years 9 months ago

Download www.cs.washington.edu

Paul Beame, Allan Borodin, Prabhakar Raghavan, Wal...

claim paper

Read More »

12

click to vote

FOCS
1990
IEEE

63views Theoretical Computer Science» more FOCS 1990»

Security Preserving Amplification of Hardness

13 years 9 months ago

Download www.busim.ee.boun.edu.tr

Oded Goldreich, Russell Impagliazzo, Leonid A. Lev...

claim paper

Read More »

11

click to vote

FOCS
1990
IEEE

78views Theoretical Computer Science» more FOCS 1990»

Matrix Decomposition Problem Is Complete for the Average Case

13 years 9 months ago

Download research.microsoft.com

The first algebraic average-case complete problem is presented. It is arguably the simplest natural average-case complete problem to date.

Yuri Gurevich

claim paper

Read More »

17

click to vote

FOCS
1990
IEEE

117views Theoretical Computer Science» more FOCS 1990»

The Lattice Reduction Algorithm of Gauss: An Average Case Analysis

13 years 9 months ago

Download www.csie.nuk.edu.tw

The lattice reduction algorithm of Gauss is shown to have an average case complexity which is asymptotic to a constant.

Brigitte Vallée, Philippe Flajolet

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers