Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
31387
search results - page 235 / 6278
»
Abstracting abstract machines
Sort
relevance
views
votes
recent
update
View
thumb
title
164
click to vote
FSTTCS
1999
Springer
98
views
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
103
views
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
71
views
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
206
views
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
96
views
Software Engineering
»
more
PEPM 1999
»
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework
15 years 11 months ago
Download
www.cs.bris.ac.uk
Germán Puebla, Manuel V. Hermenegildo, John...
claim paper
Read More »
« Prev
« First
page 235 / 6278
Last »
Next »