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 10 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 9 months ago

Download www.cse.ohio-state.edu

William Harvey, Yusu Wang, Rephael Wenger

claim paper

Read More »

112

click to vote

COCO
2001
Springer

101views Algorithms» more COCO 2001»

Resolution Complexity of Independent Sets in Random Graphs

15 years 8 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 8 months ago

Download www.cs.helsinki.fi

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

claim paper

Read More »

112

click to vote

PODC
1993
ACM

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

On the Space Complexity of Randomized Synchronization

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers