Search Sciweavers | Sciweavers

31387 search results - page 298 / 6278

» Abstracts

121

click to vote

SLP
1989

47views more SLP 1989»

Determination of Variable Dependence Information through Abstract Interpretation

15 years 8 months ago

Download www.clip.dia.fi.upm.es

Kalyan Muthukumar, Manuel V. Hermenegildo

claim paper

Read More »

131

click to vote

LFP
1990

98views more LFP 1990»

Abstracting Control

15 years 8 months ago

Download reference.kfupm.edu.sa

Olivier Danvy, Andrzej Filinski

claim paper

Read More »

128

click to vote

AIPS
2009

94views Artificial Intelligence» more AIPS 2009»

Landmarks, Critical Paths and Abstractions: What's the Difference Anyway?

15 years 7 months ago

Download www.informatik.uni-freiburg.de

Malte Helmert, Carmel Domshlak

claim paper

Read More »

163

click to vote

AMW
2009

154views Knowledge Management» more AMW 2009»

From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)

15 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Leopoldo E. Bertossi

claim paper

Read More »

148

click to vote

BCSHCI
2009

122views Human Computer Interaction» more BCSHCI 2009»

Using augmentations as bridges from concrete to abstract representations

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers