Search Sciweavers | Sciweavers

31387 search results - page 326 / 6278

» Abstracting abstract machines

121

click to vote

GG
2008
Springer

90views Theoretical Computer Science» more GG 2008»

Abstract Semantics by Observable Contexts

15 years 7 months ago

Download www.di.unipi.it

Filippo Bonchi

claim paper

Read More »

135

click to vote

GG
2008
Springer

75views Theoretical Computer Science» more GG 2008»

A Modal-Logic Based Graph Abstraction

15 years 7 months ago

Download www7.in.tum.de

Jörg Bauer, Iovka Boneva, Marcos E. Kurb&aacu...

claim paper

Read More »

172

Voted

GISCIENCE
2008
Springer

95views GIS» more GISCIENCE 2008»

Geosensor Data Abstraction for Environmental Monitoring Application

15 years 7 months ago

Download www.spatial.maine.edu

Young Jin Jung, Silvia Nittel

claim paper

Read More »

150

click to vote

AIPS
2010

114views Artificial Intelligence» more AIPS 2010»

When Abstractions Met Landmarks

15 years 7 months ago

Download videolectures.net

tractions Met Landmarks C. Domshlak M. Katz S. Lefler Technion - Israel Institute of Technology

Carmel Domshlak, Michael Katz, Sagi Lefler

claim paper

Read More »

137

click to vote

LDTA
2010

139views Programming Languages» more LDTA 2010»

Dependence condition graph for semantics-based abstract program slicing

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers