Search Sciweavers | Sciweavers

2448 search results - page 6 / 490

» The Octahedron Abstract Domain

click to vote

SARA
2005
Springer

89views Artificial Intelligence» more SARA 2005»

Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains

14 years 1 months ago

Download anytime.cs.umass.edu

Natalia N. Beliaeva, Shlomo Zilberstein

claim paper

Read More »

click to vote

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

14 years 1 months ago

Download www.lisyc.univ-brest.fr

Damien Massé

claim paper

Read More »

click to vote

ESOP
2004
Springer

97views Programming Languages» more ESOP 2004»

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

14 years 1 months ago

Download www.di.ens.fr

Antoine Miné

claim paper

Read More »

click to vote

PRICAI
1998
Springer

78views Artificial Intelligence» more PRICAI 1998»

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

14 years 2 days ago

Download www.baum.com.au

Jiri Baum, Ann E. Nicholson

claim paper

Read More »

click to vote

LICS
1996
IEEE

121views Automated Reasoning» more LICS 1996»

A Fully Abstract Domain Model for the pi-Calculus

14 years 11 hour ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers