Search Sciweavers | Sciweavers

15792 search results - page 107 / 3159

» Computational Abstraction Steps

click to vote

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

14 years 3 months ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

click to vote

UC
2007
Springer

130views Applied Computing» more UC 2007»

The Abstract Immune System Algorithm

14 years 3 months ago

Download ctp.di.fct.unl.pt

José Pacheco, José Félix Cost...

claim paper

Read More »

click to vote

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

14 years 3 months ago

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

click to vote

ITICSE
2005
ACM

98views Theoretical Computer Science» more ITICSE 2005»

Exploring students' understanding of the concept of algorithm: levels of abstraction

14 years 2 months ago

Download www.win.tue.nl

Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood

claim paper

Read More »

click to vote

MFCS
2005
Springer

100views Theoretical Computer Science» more MFCS 2005»

Abstract Numeration Systems and Tilings

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers