Search Sciweavers | Sciweavers

11395 search results - page 274 / 2279

» Beyond computer science

116

click to vote

SOFSEM
2005
Springer

102views Theoretical Computer Science» more SOFSEM 2005»

Non-planar Orthogonal Drawings with Fixed Topology

16 years 3 days ago

Download ls11-www.cs.uni-dortmund.de

Markus Chimani, Gunnar W. Klau, René Weiski...

claim paper

Read More »

153

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 3 days ago

Download dis.unal.edu.co

Heikki Hyyrö, Yoan J. Pinzon, Ayumi Shinohara

claim paper

Read More »

141

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 3 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 3 days ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

124

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 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers