Sciweavers

13603 search results - page 302 / 2721
» On the Computational Complexity of Cut-Reduction
Sort
View
FOCS
2002
IEEE
15 years 11 months ago
An Information Statistics Approach to Data Stream and Communication Complexity
Ziv Bar-Yossef, T. S. Jayram, Ravi Kumar, D. Sivak...
FOCS
2000
IEEE
15 years 11 months ago
Pseudorandom Generators in Propositional Proof Complexity
Michael Alekhnovich, Eli Ben-Sasson, Alexander A. ...
170
Voted
GCC
2003
Springer
16 years 2 days ago
Computing Pool: A Simplified and Practical Computational Grid Model
Even though grid research is prosperous in an extensive context, few grid platforms for high performance computing are practical and in operation so far. Since most applications a...
Peng Liu, Yao Shi, Sanli Li
GD
1998
Springer
15 years 11 months ago
A Framework for Drawing Planar Graphs with Curves and Polylines
We describe a unified framework of aesthetic criteria and complexity measures for drawing planar graphs with polylines and curves. This framework includes several visual properties...
Michael T. Goodrich, Christopher G. Wagner
179
Voted
CASC
2006
Springer
106views Mathematics» more  CASC 2006»
15 years 10 months ago
Simplicial Perturbation Techniques and Effective Homology
In this paper, we deal with the problem of the computation of the homology of a finite simplicial complex after an "elementary simplicial perturbation" process such as th...
Rocío González-Díaz, Bel&eacu...