Sciweavers

2451 search results - page 9 / 491

» The Octagon Abstract Domain

102

LOPSTR
2005
Springer

131views Automated Reasoning» more LOPSTR 2005»

Converting One Type-Based Abstract Domain to Another

15 years 10 months ago

Converting One Type-Based Abstract Domain to Another

Download clip.dia.fi.upm.es

John P. Gallagher, Germán Puebla, Elvira Al...

claim paper

Read More »

96

SARA
2005
Springer

89views Artificial Intelligence» more SARA 2005»

Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains

15 years 10 months ago

Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains

Download anytime.cs.umass.edu

Natalia N. Beliaeva, Shlomo Zilberstein

claim paper

Read More »

97

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

15 years 10 months ago

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

Download www.lisyc.univ-brest.fr

Damien Massé

claim paper

Read More »

124

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

15 years 10 months ago

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

105

PRICAI
1998
Springer

78views Artificial Intelligence» more PRICAI 1998»

Dynamic Non-uniform Abstractions for Approximate Planning in Large Structured Stochastic Domains

15 years 8 months ago

Dynamic Non-uniform Abstractions for Approximate Planning in Large Structured Stochastic Domains

Download www.baum.com.au

Jiri Baum, Ann E. Nicholson

claim paper

Read More »

« Prev « First page 9 / 491 Last » Next »