Search Sciweavers | Sciweavers

31387 search results - page 235 / 6278

» Abstracting abstract machines

175

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 »

135

Voted

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 »

151

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 »

201

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 »

145

click to vote

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