Search Sciweavers | Sciweavers

108 search results - page 2 / 22

» iandc 2006

click to vote

IANDC
2007

83views more IANDC 2007»

Cluster computing and the power of edge recognition

14 years 11 months ago

Download www14.in.tum.de

Lane A. Hemaspaandra, Christopher M. Homan, Sven K...

claim paper

Read More »

click to vote

IANDC
2000

44views more IANDC 2000»

Uniform Generation of NP-Witnesses Using an NP-Oracle

14 years 11 months ago

Download cseweb.ucsd.edu

Mihir Bellare, Oded Goldreich, Erez Petrank

claim paper

Read More »

click to vote

IANDC
2000

50views more IANDC 2000»

An Algebraic Framework for Urgency

14 years 11 months ago

Download www-verimag.imag.fr

Sébastien Bornot, Joseph Sifakis

claim paper

Read More »

click to vote

IANDC
2000

53views more IANDC 2000»

On the Undecidability of Second-Order Unification

14 years 11 months ago

Download www.iiia.csic.es

Jordi Levy, Margus Veanes

claim paper

Read More »

click to vote

IANDC
2000

56views more IANDC 2000»

What is a "Good" Encoding of Guarded Choice?

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers