Search Sciweavers | Sciweavers

8917 search results - page 40 / 1784

» Abstraction in Algorithm Animation

click to vote

CORR
2008
Springer

69views Education» more CORR 2008»

Improved Algorithms for Approximate String Matching (Extended Abstract)

14 years 12 months ago

Download www.cs.miami.edu

Dimitrios P. Papamichail, Georgios P. Papamichail

claim paper

Read More »

click to vote

LMCS
2007

61views more LMCS 2007»

Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem

14 years 11 months ago

Download research.microsoft.com

Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...

claim paper

Read More »

click to vote

IANDC
2010

78views more IANDC 2010»

An efficient simulation algorithm based on abstract interpretation

14 years 9 months ago

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

click to vote

CORR
2012
Springer

189views Education» more CORR 2012»

A temporally abstracted Viterbi algorithm

13 years 7 months ago

Download www.cs.berkeley.edu

Shaunak Chatterjee, Stuart Russell

claim paper

Read More »

click to vote

SAS
2012
Springer

210views Formal Methods» more SAS 2012»

Bilateral Algorithms for Symbolic Abstraction

13 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers