Search Sciweavers | Sciweavers

2451 search results - page 11 / 491

» The Octagon Abstract Domain

129

click to vote

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

15 years 7 months ago

Download penjili.org

Xavier Allamigeon

claim paper

Read More »

215

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 7 months ago

Download sunsite.informatik.rwth-aachen.de

Daniel A. Sadilek, Stephan Weißleder

claim paper

Read More »

117

click to vote

IJCAI
2003

101views Artificial Intelligence» more IJCAI 2003»

Automated Qualitative Domain Abstraction

15 years 7 months ago

Download people.csail.mit.edu

Martin Sachenbacher, Peter Struss

claim paper

Read More »

135

click to vote

COLING
1996

136views Computational Linguistics» more COLING 1996»

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

15 years 7 months ago

Download acl.ldc.upenn.edu

Klaus Zechner

claim paper

Read More »

113

click to vote

CORR
2007
Springer

97views Education» more CORR 2007»

A Few Graph-Based Relational Numerical Abstract Domains

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers