Search Sciweavers | Sciweavers

2638 search results - page 34 / 528

» Random Geometric Complexes

click to vote

LICS
2008
IEEE

103views Automated Reasoning» more LICS 2008»

On the Expressiveness and Complexity of Randomization in Finite State Monitors

15 years 8 months ago

Download www.cs.uiuc.edu

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

click to vote

COMPGEOM
2010
ACM

159views Discrete Geometry» more COMPGEOM 2010»

A randomized O(m log m) time algorithm for computing Reeb graphs of arbitrary simplicial complexes

15 years 7 months ago

Download www.cse.ohio-state.edu

William Harvey, Yusu Wang, Rephael Wenger

claim paper

Read More »

click to vote

COCO
2001
Springer

101views Algorithms» more COCO 2001»

Resolution Complexity of Independent Sets in Random Graphs

15 years 6 months ago

Download www.cs.cornell.edu

Paul Beame, Russell Impagliazzo, Ashish Sabharwal

claim paper

Read More »

click to vote

STOC
1998
ACM

115views Algorithms» more STOC 1998»

On the Complexity of Unsatisfiability Proofs for Random k-CNF Formulas

15 years 6 months ago

Download www.cs.helsinki.fi

Paul Beame, Richard M. Karp, Toniann Pitassi, Mich...

claim paper

Read More »

click to vote

PODC
1993
ACM

94views Distributed and Parallel Com...» more PODC 1993»

On the Space Complexity of Randomized Synchronization

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers