Search Sciweavers | Sciweavers

31387 search results - page 327 / 6278

» Abstracts

122

click to vote

CORR
2002
Springer

100views Education» more CORR 2002»

Making Abstract Domains Condensing

15 years 6 months ago

Download profs.sci.univr.it

Roberto Giacobazzi, Francesco Ranzato, Francesca S...

claim paper

Read More »

130

click to vote

CSL
2002
Springer

106views Automated Reasoning» more CSL 2002»

A Fully Abstract Relational Model of Syntactic Control of Interference

15 years 6 months ago

Download www.cs.bath.ac.uk

Guy McCusker

claim paper

Read More »

116

click to vote

ETS
2000
IEEE

86views Hardware» more ETS 2000»

Can abstraction be used as a unifying guideline to design intelligent educational systems?

15 years 6 months ago

Download www.ifets.info

Ruddy Lelouche, Magali Seguran

claim paper

Read More »

135

click to vote

FGCS
2000

105views more FGCS 2000»

Abstract machines for programming language implementation

15 years 6 months ago

Download www.inf.ed.ac.uk

machines for programming language implementation Stephan Diehla, , Pieter Hartelb , Peter Sestoftc a FB-14 Informatik, Universit

Stephan Diehl, Pieter H. Hartel, Peter Sestoft

claim paper

Read More »

150

Voted

INFSOF
2000

62views more INFSOF 2000»

A data abstraction approach for query relaxation

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers