Sciweavers

2478 search results - page 7 / 496

» Quadtrees as an Abstract Domain

18

SARA
2007
Springer

66views Artificial Intelligence» more SARA 2007»

Dynamic Domain Abstraction Through Meta-diagnosis

14 years 1 months ago

Dynamic Domain Abstraction Through Meta-diagnosis

Download www.qrg.northwestern.edu

Johan de Kleer

claim paper

Read More »

23

SAS
2007
Springer

97views Formal Methods» more SAS 2007»

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware

14 years 1 months ago

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware

Download profs.sci.univr.it

Francesco Banterle, Roberto Giacobazzi

claim paper

Read More »

21

LOPSTR
2005
Springer

131views Automated Reasoning» more LOPSTR 2005»

Converting One Type-Based Abstract Domain to Another

14 years 1 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 »

19

SARA
2005
Springer

89views Artificial Intelligence» more SARA 2005»

Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains

14 years 1 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 »

16

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

14 years 1 months ago

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

Download www.lisyc.univ-brest.fr

Damien Massé

claim paper

Read More »

« Prev « First page 7 / 496 Last » Next »