Search Sciweavers | Sciweavers

17920 search results - page 251 / 3584

» Recentering computer science

152

click to vote

SOFSEM
2005
Springer

101views Theoretical Computer Science» more SOFSEM 2005»

Fast Bit-Vector Algorithms for Approximate String Matching Under Indel Distance

16 years 1 days ago

Download dis.unal.edu.co

Heikki Hyyrö, Yoan J. Pinzon, Ayumi Shinohara

claim paper

Read More »

140

click to vote

SPIN
2005
Springer

95views Theoretical Computer Science» more SPIN 2005»

Memory Efficient State Space Storage in Explicit Software Model Checking

16 years 1 days ago

Download cedric.cnam.fr

Sami Evangelista, Jean-François Pradat-Peyr...

claim paper

Read More »

128

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

16 years 1 days ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

123

click to vote

STACS
2005
Springer

110views Theoretical Computer Science» more STACS 2005»

All-Pairs Nearly 2-Approximate Shortest-Paths in O(n2 polylog n) Time

16 years 1 days ago

Download www.cse.iitd.ernet.in

Surender Baswana, Vishrut Goyal, Sandeep Sen

claim paper

Read More »

121

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

16 years 1 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers