Sciweavers

22018 search results - page 111 / 4404

» or 2004

21

CADE
2004
Springer

123views Logical Reasoning» more CADE 2004»

A Superposition View on Nelson-Oppen

14 years 10 months ago

A Superposition View on Nelson-Oppen

Download lcs.ios.ac.cn

Thomas Hillenbrand

claim paper

Read More »

23

STOC
2004
ACM

103views Algorithms» more STOC 2004»

Multilinear formulas and skepticism of quantum computing

14 years 10 months ago

Multilinear formulas and skepticism of quantum computing

Download www.scottaaronson.com

Scott Aaronson

claim paper

Read More »

33

STOC
2004
ACM

74views Algorithms» more STOC 2004»

On the performance of greedy algorithms in packet buffering

14 years 10 months ago

On the performance of greedy algorithms in packet buffering

Download www.cs.aueb.gr

Susanne Albers, Markus Schmidt

claim paper

Read More »

18

STOC
2004
ACM

97views Algorithms» more STOC 2004»

Adaptive routing with end-to-end feedback: distributed learning and geometric approaches

14 years 10 months ago

Adaptive routing with end-to-end feedback: distributed learning and geometric approaches

Download www.cs.cornell.edu

Baruch Awerbuch, Robert D. Kleinberg

claim paper

Read More »

21

STOC
2004
ACM

114views Algorithms» more STOC 2004»

Counting complexity classes for numeric computations II: algebraic and semialgebraic sets

14 years 10 months ago

Counting complexity classes for numeric computations II: algebraic and semialgebraic sets

Download math-www.uni-paderborn.de

Peter Bürgisser, Felipe Cucker

claim paper

Read More »

« Prev « First page 111 / 4404 Last » Next »