Search Sciweavers | Sciweavers

15792 search results - page 107 / 3159

» Computational Abstraction Steps

145

click to vote

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

16 years 1 months ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

157

click to vote

UC
2007
Springer

130views Applied Computing» more UC 2007»

The Abstract Immune System Algorithm

16 years 28 days ago

Download ctp.di.fct.unl.pt

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

claim paper

Read More »

146

click to vote

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

16 years 25 days ago

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

150

click to vote

ITICSE
2005
ACM

98views Theoretical Computer Science» more ITICSE 2005»

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

16 years 12 days ago

Download www.win.tue.nl

Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood

claim paper

Read More »

128

click to vote

MFCS
2005
Springer

100views Theoretical Computer Science» more MFCS 2005»

Abstract Numeration Systems and Tilings

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers