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

13 years 4 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

13 years 4 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

13 years 4 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

13 years 4 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?

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers