Search Sciweavers | Sciweavers

20

click to vote

FOCS
1990
IEEE

90views Theoretical Computer Science» more FOCS 1990»

Decision Problems for Propositional Linear Logic

14 years 17 days ago

Download www.csl.sri.com

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

claim paper

Read More »

22

click to vote

FOCS
1990
IEEE

74views Theoretical Computer Science» more FOCS 1990»

Time-Space Tradeoffs for Undirected Graph Traversal

14 years 17 days ago

Download www.cs.washington.edu

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

claim paper

Read More »

25

click to vote

FOCS
1990
IEEE

63views Theoretical Computer Science» more FOCS 1990»

Security Preserving Amplification of Hardness

14 years 17 days ago

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

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

claim paper

Read More »

26

click to vote

FOCS
1990
IEEE

78views Theoretical Computer Science» more FOCS 1990»

Matrix Decomposition Problem Is Complete for the Average Case

14 years 17 days 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 »

30

click to vote

FOCS
1990
IEEE

117views Theoretical Computer Science» more FOCS 1990»

The Lattice Reduction Algorithm of Gauss: An Average Case Analysis

14 years 17 days 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