Search Sciweavers | Sciweavers

31387 search results - page 235 / 6278

» Abstracting abstract machines

164

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 11 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

117

click to vote

GIS
1999
ACM

103views Automated Reasoning» more GIS 1999»

Cartographic Generalization as a Combination of Representing and Abstracting Knowledge

15 years 11 months ago

Download www-poleia.lip6.fr

Sébastien Mustière, Jean-Daniel Zuck...

claim paper

Read More »

134

click to vote

DEXAW
1998
IEEE

71views Database» more DEXAW 1998»

Structural Abstractions of Hypertext Documents for Web-Based Retrieval

15 years 11 months ago

Download arbor.ee.ntu.edu.tw

Jitender S. Deogun, Hayri Sever, Vijay V. Raghavan

claim paper

Read More »

188

click to vote

ICCL
1998
IEEE

206views Programming Languages» more ICCL 1998»

Breaking Abstractions and Unstructuring Data Structures

15 years 11 months ago

Download reference.kfupm.edu.sa

Christian S. Collberg, Clark D. Thomborson, Dougla...

claim paper

Read More »

132

Voted

PEPM
1999
ACM

96views Software Engineering» more PEPM 1999»

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers