Search Sciweavers | Sciweavers

15792 search results - page 107 / 3159

» Computational Abstraction Steps

130

Voted

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

15 years 12 months ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

140

click to vote

UC
2007
Springer

130views Applied Computing» more UC 2007»

The Abstract Immune System Algorithm

15 years 12 months ago

Download ctp.di.fct.unl.pt

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

claim paper

Read More »

127

click to vote

LICS
2006
IEEE

126views Automated Reasoning» more LICS 2006»

3-Valued Abstraction: More Precision at Less Cost

15 years 11 months ago

Download www.cs.technion.ac.il

Sharon Shoham, Orna Grumberg

claim paper

Read More »

136

Voted

ITICSE
2005
ACM

98views Theoretical Computer Science» more ITICSE 2005»

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

15 years 11 months ago

Download www.win.tue.nl

Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood

claim paper

Read More »

111

click to vote

MFCS
2005
Springer

100views Theoretical Computer Science» more MFCS 2005»

Abstract Numeration Systems and Tilings

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers