Search Sciweavers | Sciweavers

17920 search results - page 78 / 3584

» Recentering computer science

click to vote

FOCS
1990
IEEE

115views Theoretical Computer Science» more FOCS 1990»

Algebraic Methods for Interactive Proof Systems

14 years 2 months ago

Download greg.bronevetsky.com

A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an...

Carsten Lund, Lance Fortnow, Howard J. Karloff, No...

claim paper

Read More »

click to vote

CSIE
2009
IEEE

119views Theoretical Computer Science» more CSIE 2009»

Fraud Detection in Statistics Education Based on the Compendium Platform and Reproducible Computing

14 years 4 months ago

Download www.wessa.net

Patrick Wessa, Bart Baesens

claim paper

Read More »

click to vote

WG
2009
Springer

120views Theoretical Computer Science» more WG 2009»

Graph-Theoretic Solutions to Computational Geometry Problems

14 years 4 months ago

Download www.ics.uci.edu

David Eppstein

claim paper

Read More »

click to vote

CCA
2009
Springer

138views Theoretical Computer Science» more CCA 2009»

How Discontinuous is Computing Nash Equilibria? (Extended Abstract)

14 years 4 months ago

Download drops.dagstuhl.de

Arno Pauly

claim paper

Read More »

click to vote

CSR
2009
Springer

98views Theoretical Computer Science» more CSR 2009»

Formal Verification of Gate-Level Computer Systems

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers