Search Sciweavers | Sciweavers

2448 search results - page 8 / 490

» The Octahedron Abstract Domain

189

click to vote

DSML
2008

160views Formal Methods» more DSML 2008»

Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages

15 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

Daniel A. Sadilek, Stephan Weißleder

claim paper

Read More »

Voted

IJCAI
2003

101views Artificial Intelligence» more IJCAI 2003»

Automated Qualitative Domain Abstraction

15 years 5 months ago

Download people.csail.mit.edu

Martin Sachenbacher, Peter Struss

claim paper

Read More »

107

Voted

COLING
1996

136views Computational Linguistics» more COLING 1996»

Fast Generation of Abstracts from General Domain Text Corpora by Extracting Relevant Sentences

15 years 5 months ago

Download acl.ldc.upenn.edu

Klaus Zechner

claim paper

Read More »

Voted

CORR
2007
Springer

97views Education» more CORR 2007»

A Few Graph-Based Relational Numerical Abstract Domains

15 years 3 months ago

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

click to vote

CORR
2007
Springer

84views Education» more CORR 2007»

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers